mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-10 08:34:20 +02:00
Code Issues Releases Wiki Activity

Remove CodeMirror

Browse Source 
- uses other colors than JUSH
- not used everywhere (triggers, routines, ...)
- Ctrl+Left and similar works bad
- missing autocomplete
- blocking loader
This commit is contained in:
Jakub Vrana
2012-06-29 18:38:24 -07:00
parent a833468c0a
commit a71b99096c
6 changed files with 6 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
adminer/include/design.inc.php
View File

@@ -4,10 +4,9 @@
* @param string
* @param mixed array("key" => "link=desc", "key2" => array("link", "desc")), null for nothing, false for driver only, true for driver and server
* @param string used after colon in title and heading, will be HTML escaped
* @param string printed in <head>
* @return null
*/
function page_header($title, $error = "", $breadcrumb = array(), $title2 = "", $head = "") {
function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
global $LANG, $adminer, $connection, $drivers;
header("Content-Type: text/html; charset=utf-8");
if ($adminer->headers()) {
@@ -32,7 +31,6 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "", $
<link rel="stylesheet" type="text/css" href="adminer.css">
<?php } ?>
<?php } ?>
<?php echo $head; ?>
<body class="<?php echo lang('ltr'); ?> nojs" onkeydown="bodyKeydown(event);" onload="bodyLoad('<?php echo (is_object($connection) ? substr($connection->server_info, 0, 3) : ""); ?>');<?php echo (isset($_COOKIE["adminer_version"]) ? "" : " verifyVersion();"); ?>">
<script type="text/javascript">