diff options
author | Maurício Meneghini Fauth <mauriciofauth@gmail.com> | 2017-12-04 18:31:25 +0300 |
---|---|---|
committer | Maurício Meneghini Fauth <mauriciofauth@gmail.com> | 2017-12-04 18:31:25 +0300 |
commit | 01fd3010030f58c5489c18a40f91362d099987fd (patch) | |
tree | f3f66a17571bec6e431d7aa50704125485d237ee /server_privileges.php | |
parent | 3d44419cbd941e122d9faeabe68445e5ecc2c615 (diff) |
Use 'elseif' keyword istead of 'else if'
Signed-off-by: Maurício Meneghini Fauth <mauriciofauth@gmail.com>
Diffstat (limited to 'server_privileges.php')
-rw-r--r-- | server_privileges.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server_privileges.php b/server_privileges.php index 804ec40029..52693c5bc4 100644 --- a/server_privileges.php +++ b/server_privileges.php @@ -437,7 +437,7 @@ if (isset($_REQUEST['adduser'])) { $response->addHTML( Privileges::getHtmlForUserOverview($pmaThemeImage, $text_dir) ); - } else if (!empty($routinename)) { + } elseif (!empty($routinename)) { $response->addHTML( Privileges::getHtmlForRoutineSpecificPrivileges( $username, $hostname, $dbname, $routinename, |