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

Save bytes

Browse Source
This commit is contained in:
Jakub Vrana
2011-02-03 10:15:52 +01:00
parent fb7b5ce29e
commit a379bde2a4
3 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -64,7 +64,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
}
echo "<h2>$title_all</h2>\n";
restart_session();
$uri = preg_replace('~^[^?]*/~', '', $_SERVER["REQUEST_URI"]);
$uri = preg_replace('~^[^?]*~', '', $_SERVER["REQUEST_URI"]);
$messages = $_SESSION["messages"][$uri];
if ($messages) {
echo "<div class='message'>" . implode("</div>\n<div class='message'>", $messages) . "</div>\n";