Merge remote-tracking branch 'origin/master'

2014-06-23 18:34:40 +02:00 · 2014-06-23 18:34:40 +02:00 · 3a2ce2dfe4
commit 3a2ce2dfe4
parent bb37cd717d 72882ea016
2 changed files with 6 additions and 0 deletions
--- a/1
+++ b/1
@ -21,6 +21,7 @@ phpMyAdmin - ChangeLog
 4.2.5.0 (not yet released)
 - bug #4467 shell_exec() has been disabled for security reasons
 - bug #4470 Error while submitting empty query
+- bug #4463 Fatal error: Class 'PMA_DatabaseInterface' not found

 4.2.4.0 (2014-06-20)
 - bug #4449 Mediawiki export does not produce table header row; also fix related PHP warnings
--- a/libraries/config/Validator.class.php
+++ b/libraries/config/Validator.class.php
@ -6,6 +6,11 @@
 * @package PhpMyAdmin
 */

+/**
+ * Core libraries.
+ */
+require_once './libraries/DatabaseInterface.class.php';
+
 /**
 * Validation class for various validation functions
 *