mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-08 07:36:44 +02:00
Code Issues Releases Wiki Activity

Bump version to 4.10-dev

Browse Source
This commit is contained in:
Peter Knut
2024-10-17 00:24:53 +02:00
committed by Jakub Vrana
parent 72ed1b5cdc
commit d4f99d5cdc
5 changed files with 12 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
adminer/include/bootstrap.inc.php
View File

@@ -1,5 +1,6 @@
<?php <?php
include "../adminer/include/version.inc.php"; include "../adminer/include/version.inc.php";
include "../adminer/include/errors.inc.php";
include "../adminer/include/coverage.inc.php"; include "../adminer/include/coverage.inc.php";
// disable filter.default // disable filter.default

7
adminer/include/errors.inc.php Normal file
View File

@@ -0,0 +1,7 @@
<?php
function adminer_errors($errno, $errstr) {
return !!preg_match('~^(Trying to access array offset on( value of type)? null|Undefined (array key|property))~', $errstr);
}
error_reporting(6135); // errors and warnings
set_error_handler('adminer_errors', E_WARNING);

9
adminer/include/version.inc.php
View File

@@ -1,9 +1,2 @@
<?php <?php
$VERSION = "4.9.4"; $VERSION = "4.10.0-dev";
function adminer_errors($errno, $errstr) {
return !!preg_match('~^(Trying to access array offset on( value of type)? null|Undefined (array key|property))~', $errstr);
}
error_reporting(6135); // errors and warnings
set_error_handler('adminer_errors', E_WARNING);

1
compile.php
View File

@@ -1,6 +1,7 @@
#!/usr/bin/env php #!/usr/bin/env php
<?php <?php
include dirname(__FILE__) . "/adminer/include/version.inc.php"; include dirname(__FILE__) . "/adminer/include/version.inc.php";
include dirname(__FILE__) . "/adminer/include/errors.inc.php";
include dirname(__FILE__) . "/externals/JsShrink/jsShrink.php"; include dirname(__FILE__) . "/externals/JsShrink/jsShrink.php";
function add_apo_slashes($s) { function add_apo_slashes($s) {

3
lang.php
View File

@@ -1,6 +1,7 @@
#!/usr/bin/env php #!/usr/bin/env php
<?php <?php
error_reporting(6135); // errors and warnings include dirname(__FILE__) . "/adminer/include/errors.inc.php";
unset($_COOKIE["adminer_lang"]); unset($_COOKIE["adminer_lang"]);
$_SESSION["lang"] = $_SERVER["argv"][1]; // Adminer functions read language from session $_SESSION["lang"] = $_SERVER["argv"][1]; // Adminer functions read language from session
if (isset($_SESSION["lang"])) { if (isset($_SESSION["lang"])) {