📄 example.php

📁 精简的extjs

💻 PHP

字号:

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml">    <head>        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />        <title>ExtJS Example</title>        <?php        if (strpos($_SERVER['HTTP_ACCEPT_ENCODING'], 'gzip') === false)        {            echo '<link rel="stylesheet" type="text/css" href="extjs/ext.css" />';        } else        {            echo '<link rel="stylesheet" type="text/css" href="extjs/ext.css.php" />';        }        if (strpos($_SERVER['HTTP_ACCEPT_ENCODING'], 'gzip') === false)        {            echo '<script type="text/javascript" src="extjs/ext.js"></script>';        } else        {            echo '<script type="text/javascript" src="extjs/ext.js.php"></script>';        }        ?>        <script type="text/javascript" src="example.js">        </script>    </head>    <body>        <div id="grid">        </div>    </body></html>

⌨️ 快捷键说明

复制代码 Ctrl + C

搜索代码 Ctrl + F

全屏模式 F11

切换主题 Ctrl + Shift + D

显示快捷键 ?

增大字号 Ctrl + =

减小字号 Ctrl + -