mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-15 19:13:59 +02:00
Code Issues Releases Wiki Activity

Rename variable

Browse Source
This commit is contained in:
Jakub Vrana
2025-03-28 22:44:24 +01:00
parent 4e1e638f98
commit 1f88485a3c
13 changed files with 13 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -167,7 +167,7 @@ function auth_error(string $error, array &$permanent) {
if (isset($_GET["username"]) && !class_exists('Adminer\Db')) {
unset($_SESSION["pwds"][DRIVER]);
unset_permanent($permanent);
page_header(lang('No extension'), lang('None of the supported PHP extensions (%s) are available.', implode(", ", Driver::$possibleDrivers)), false);
page_header(lang('No extension'), lang('None of the supported PHP extensions (%s) are available.', implode(", ", Driver::$extensions)), false);
page_footer("auth");
exit;
}

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

@@ -16,7 +16,7 @@ function get_driver(string $id): string {
}
abstract class SqlDriver {
/** @var list<string> */ static array $possibleDrivers = array();
/** @var list<string> */ static array $extensions = array(); // possible extensions
static string $jush; // JUSH identifier
protected Db $conn;