Minor - Replaced deprecated split() by preg_split()

13 years ago · 9dccd5b5f0
parent 21ed2a115b
commit 9dccd5b5f0
1 changed files with 1 additions and 1 deletions
--- a/main/inc/local.inc.php
+++ b/main/inc/local.inc.php
@ -521,7 +521,7 @@ if (!empty($_SESSION['_user']['user_id']) && !($login || $logout)) {
                    $protocol = api_get_setting('sso_authentication_protocol');
                    // sso_authentication_domain can list
                    // several, comma-separated, domains
-                    $master_urls = split(',',api_get_setting('sso_authentication_domain'));
+                    $master_urls = preg_split('/,/',api_get_setting('sso_authentication_domain'));
                    if (!empty($master_urls)) {
                        $master_auth_uri = api_get_setting('sso_authentication_auth_uri');
                        foreach ($master_urls as $mu) {