diff options
| author | Hugues Peccatte <hugues.peccatte@gmail.com> | 2015-09-01 23:02:22 +0300 |
|---|---|---|
| committer | Hugues Peccatte <hugues.peccatte@gmail.com> | 2015-09-01 23:02:22 +0300 |
| commit | edf0dfa179c75de362f39cbfeac77225f26f7206 (patch) | |
| tree | aed17868f1fa5d2ef9db3d1c491feb0cf2ce950e /server_variables.php | |
| parent | 5207ba43a72b66fd084928a1a613b1a640091177 (diff) | |
Add missing 'use'.
Signed-off-by: Hugues Peccatte <hugues.peccatte@gmail.com>
Diffstat (limited to 'server_variables.php')
| -rw-r--r-- | server_variables.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/server_variables.php b/server_variables.php index c762c0a3c7..fa0fdf2174 100644 --- a/server_variables.php +++ b/server_variables.php @@ -6,6 +6,9 @@ * @package PhpMyAdmin */ +use PMA\libraries\Message; +use PMA\libraries\Util; + require_once 'libraries/common.inc.php'; require_once 'libraries/server_variables.lib.php'; |