diff --git a/install/lib/install.lib.php b/install/lib/install.lib.php index f17b9827926763d531d1c0881b5f6138df7594a8..08b0f8424a8a634de5944c4f7db19663e42f734a 100644 --- a/install/lib/install.lib.php +++ b/install/lib/install.lib.php @@ -86,6 +86,9 @@ function get_distname() { $mainver = array_filter($mainver); $mainver = current($mainver).'.'.next($mainver); switch ($mainver){ + case "15.10": + $relname = "(Wily Werewolf)"; + break; case "15.04": $relname = "(Vivid Vervet)"; break; diff --git a/server/lib/classes/monitor_tools.inc.php b/server/lib/classes/monitor_tools.inc.php index 9b706ce76ff5b964b76659dffc1e9d6ee49679c5..de8d0855ca617503d18f488e3c23e86028a20c4b 100644 --- a/server/lib/classes/monitor_tools.inc.php +++ b/server/lib/classes/monitor_tools.inc.php @@ -62,6 +62,9 @@ class monitor_tools { $mainver = array_filter($mainver); $mainver = current($mainver).'.'.next($mainver); switch ($mainver){ + case "15.10": + $relname = "(Wily Werewolf)"; + break; case "15.04": $relname = "(Vivid Vervet)"; break;