diff -r 60b580d22c7b -r fa2b0825bbc5 plugins/SpecialPageFuncs.php --- a/plugins/SpecialPageFuncs.php Wed Aug 21 22:13:58 2013 -0400 +++ b/plugins/SpecialPageFuncs.php Wed Aug 21 22:34:54 2013 -0400 @@ -376,8 +376,7 @@ global $lang; $platform = 'Unknown'; - $uname = @file_get_contents('/proc/sys/kernel/ostype'); - if($uname == "Linux\n") + if(strtolower(PHP_OS) === 'linux') $platform = 'Linux'; else if(@file_exists('/hurd/pfinet')) // I have a little experience with GNU/Hurd :-) http://hurdvm.enanocms.org/ $platform = 'GNU/Hurd'; @@ -493,7 +492,7 @@ { case 'MYSQL': ?> -