mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-18 04:11:27 +02:00
Code Issues Releases Wiki Activity

Add plugin for switching designs

Browse Source
This commit is contained in:
Jakub Vrana
2018-01-23 12:15:38 +01:00
parent 81be5edb97
commit 6d774794c8
5 changed files with 30 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
adminer/include/adminer.inc.php
View File

@@ -78,7 +78,7 @@ class Adminer {
}
/** Print HTML code inside <head>
* @return bool true to link adminer.css if exists
* @return bool true to link favicon.ico and adminer.css if exists
*/
function head() {
?>
@@ -87,6 +87,18 @@ class Adminer {
return true;
}
/** Get URLs of the CSS files
* @return array of strings
*/
function css() {
$return = array();
$filename = "adminer.css";
if (file_exists($filename)) {
$return[] = $filename;
}
return $return;
}
/** Print login form
* @return null
*/

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

@@ -27,8 +27,8 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
<?php if ($adminer->head()) { ?>
<link rel="shortcut icon" type="image/x-icon" href="../adminer/static/favicon.ico">
<link rel="apple-touch-icon" href="../adminer/static/favicon.ico">
<?php if (file_exists("adminer.css")) { ?>
<link rel="stylesheet" type="text/css" href="adminer.css">
<?php foreach ($adminer->css() as $css) { ?>
<link rel="stylesheet" type="text/css" href="<?php echo h($css); ?>">
<?php } ?>
<?php } ?>