plugins/SpecialPageFuncs.php
changeset 722 4ea698929756
parent 701 dd80cde96a6c
child 761 82560fba0fd1
--- a/plugins/SpecialPageFuncs.php	Sat Nov 08 22:33:26 2008 -0500
+++ b/plugins/SpecialPageFuncs.php	Sat Nov 08 22:33:51 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();