function get_platforminfo() { static $platforminfo; if (empty($platforminfo)) { $platforminfo = get_loader_platforms(); } return $platforminfo; }
function platforminfo_page() { $message = ''; $platforms = get_loader_platforms(); $message = empty($platforms) ? 0 : 1; echo $message; @session_write_close(); exit(0); }