Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaurício Meneghini Fauth <mauricio@fauth.dev>2021-06-03 22:50:33 +0300
committerMaurício Meneghini Fauth <mauricio@fauth.dev>2021-06-03 22:50:33 +0300
commit1c084de30b76a1e044bf717739c691346cd62a28 (patch)
treeea3a61a546915e743910daeb0fd9ed38a17bda11 /libraries/classes/ReplicationGui.php
parent62f142c9fa06d81f1849b8c91777a9d7b39526ab (diff)
Fix coding standard errors
Related to 62f142c9fa06d81f1849b8c91777a9d7b39526ab. Signed-off-by: Maurício Meneghini Fauth <mauricio@fauth.dev>
Diffstat (limited to 'libraries/classes/ReplicationGui.php')
-rw-r--r--libraries/classes/ReplicationGui.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/libraries/classes/ReplicationGui.php b/libraries/classes/ReplicationGui.php
index 0e109f52b0..b6053aa119 100644
--- a/libraries/classes/ReplicationGui.php
+++ b/libraries/classes/ReplicationGui.php
@@ -9,6 +9,7 @@ namespace PhpMyAdmin;
use PhpMyAdmin\Query\Utilities;
+use function __;
use function htmlspecialchars;
use function in_array;
use function is_array;