Use PATH_SEPARATOR for determining path separator

Fixes error on servers with disabled php_uname

Fixes #11944

Signed-off-by: Michal Čihař <michal@cihar.com>

ChangeLog

@@ -22,6 +22,7 @@ phpMyAdmin - ChangeLog
 - issue #11911 Inserts via tbl_change.php in VARBINARY columns does not allow using HEX() and MD5()
 - issue #11939 Correct content type for uploaded error reports
 - issue #11940 Silent errors from checking local documentation
+- issue #11944 Fixed error on servers with disabled php_uname
 
 4.5.4.1 (2016-01-29)
 - issue #11892 Error with PMA 4.4.15.3

libraries/php-gettext/gettext.inc

@@ -244,7 +244,7 @@ function _setlocale($category, $locale) {
 function _bindtextdomain($domain, $path) {
     global $text_domains;
     // ensure $path ends with a slash ('/' should work for both, but lets still play nice)
-    if (substr(php_uname(), 0, 7) == "Windows") {
+    if (PATH_SEPARATOR == '\\') {
       if ($path[strlen($path)-1] != '\\' and $path[strlen($path)-1] != '/')
         $path .= '\\';
     } else {