📄 phpcompat.php
字号:
<?php
if ( !isset( $_SERVER ) )
{
$GLOBALS['_SERVER'] = $HTTP_SERVER_VARS;
}
if ( !isset( $_GET ) )
{
$GLOBALS['_GET'] = $HTTP_GET_VARS;
}
if ( !isset( $_FILES ) )
{
$GLOBALS['_FILES'] = $HTTP_POST_FILES;
}
if ( !defined( "DIRECTORY_SEPARATOR" ) )
{
define( "DIRECTORY_SEPARATOR", strtoupper( substr( PHP_OS, 0, 3 ) == "WIN" ) ? "\\" : "/" );
}
?>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -