plugins/SpecialPageFuncs.php
changeset 735 f191cb6bd0ca
parent 722 4ea698929756
child 761 82560fba0fd1
--- a/plugins/SpecialPageFuncs.php	Sun Nov 09 14:22:03 2008 -0500
+++ b/plugins/SpecialPageFuncs.php	Sun Nov 09 14:22:41 2008 -0500
@@ -582,8 +582,10 @@
     $platform = 'Windows NT';
   else if(file_exists('C:\Windows\system\krnl386.exe'))
     $platform = 'Windows 9x/DOS';
+  else if(file_exists('/System/Library/CoreServices/SystemVersion.plist'))
+    $platform = 'Mac OS X';
   else if(file_exists('/bin/bash'))
-    $platform = 'Other GNU/Mac OS X';
+    $platform = 'Other GNU';
   else if(is_dir('/bin'))
     $platform = 'Other POSIX';
   $template->header();