plugins/SpecialPageFuncs.php
changeset 722 4ea698929756
parent 701 dd80cde96a6c
child 761 82560fba0fd1
equal deleted inserted replaced
721:bfde4d7402b1 722:4ea698929756
   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 />