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

Breadcrumb on No extension page

Browse Source
This commit is contained in:
Jakub Vrana
2010-11-04 00:12:01 +01:00
parent 865453f7c9
commit 9e51a1d890
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
adminer/include/auth.inc.php
View File

@@ -85,7 +85,8 @@ function auth_error($exception = null) {
if (isset($_GET["username"])) {
if (!class_exists("Min_DB")) {
page_header(lang('No extension'), lang('None of the supported PHP extensions (%s) are available.', implode(", ", $possible_drivers)), null);
unset($_SESSION["pwds"][DRIVER]); //! remove also from adminer_permanent
page_header(lang('No extension'), lang('None of the supported PHP extensions (%s) are available.', implode(", ", $possible_drivers)), false);
page_footer("auth");
exit;
}