plugins/SpecialPageFuncs.php
changeset 735 f191cb6bd0ca
parent 722 4ea698929756
child 761 82560fba0fd1
equal deleted inserted replaced
734:904fbf10f112 735:f191cb6bd0ca
   580     $platform = 'GNU/Hurd';
   580     $platform = 'GNU/Hurd';
   581   else if(file_exists('C:\Windows\system32\ntoskrnl.exe'))
   581   else if(file_exists('C:\Windows\system32\ntoskrnl.exe'))
   582     $platform = 'Windows NT';
   582     $platform = 'Windows NT';
   583   else if(file_exists('C:\Windows\system\krnl386.exe'))
   583   else if(file_exists('C:\Windows\system\krnl386.exe'))
   584     $platform = 'Windows 9x/DOS';
   584     $platform = 'Windows 9x/DOS';
       
   585   else if(file_exists('/System/Library/CoreServices/SystemVersion.plist'))
       
   586     $platform = 'Mac OS X';
   585   else if(file_exists('/bin/bash'))
   587   else if(file_exists('/bin/bash'))
   586     $platform = 'Other GNU/Mac OS X';
   588     $platform = 'Other GNU';
   587   else if(is_dir('/bin'))
   589   else if(is_dir('/bin'))
   588     $platform = 'Other POSIX';
   590     $platform = 'Other POSIX';
   589   $template->header();
   591   $template->header();
   590   ?>
   592   ?>
   591   <br />
   593   <br />