Fix deprecated message in undev script

diff --git a/scripts/undev.php b/scripts/undev.php
index 8cbfea9..3525620 100644 (file)
--- a/scripts/undev.php
+++ b/scripts/undev.php
@@ -20,7 +20,11 @@ function mdk_set_config($name, $value, $plugin = null) {
 }
 
 // Load all the settings.
-session_set_user(get_admin());
+if (class_exists('\core\session\manager')) {
+    \core\session\manager::set_user(get_admin());
+} else {
+    session_set_user(get_admin());
+}
 $adminroot = admin_get_root();