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

Highlight code in textarea by CodeMirror

Browse Source
This commit is contained in:
Jakub Vrana
2012-04-15 21:59:36 -07:00
parent 48df7aa1c9
commit bf54c13dfe
8 changed files with 28 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -4,9 +4,10 @@
* @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 = "") {
function page_header($title, $error = "", $breadcrumb = array(), $title2 = "", $head = "") {
global $LANG, $adminer, $connection, $drivers;
header("Content-Type: text/html; charset=utf-8");
if ($adminer->headers()) {
@@ -38,6 +39,7 @@ var noResponse = '<?php echo lang('No response from server.'); ?>';
<link rel="stylesheet" type="text/css" href="adminer.css">
<?php } ?>
<?php } ?>
<?php echo $head; ?>
<body class="<?php echo lang('ltr'); ?> nojs"<?php echo ($_POST ? "" : " onclick=\"return bodyClick(event, '" . h(js_escape(DB) . "', '" . js_escape($_GET["ns"])) . "');\""); // avoid re-post confirmation after refreshing the next page in Google Chrome ?> 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">