diff options
author | Maurício Meneghini Fauth <mauricio@fauth.dev> | 2021-06-03 22:50:33 +0300 |
---|---|---|
committer | Maurício Meneghini Fauth <mauricio@fauth.dev> | 2021-06-03 22:50:33 +0300 |
commit | 1c084de30b76a1e044bf717739c691346cd62a28 (patch) | |
tree | ea3a61a546915e743910daeb0fd9ed38a17bda11 /libraries/classes/ReplicationGui.php | |
parent | 62f142c9fa06d81f1849b8c91777a9d7b39526ab (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.php | 1 |
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; |