diff options
| author | Hugues Peccatte <hugues.peccatte@gmail.com> | 2015-09-26 14:50:49 +0300 |
|---|---|---|
| committer | Hugues Peccatte <hugues.peccatte@gmail.com> | 2015-09-26 14:50:49 +0300 |
| commit | 71b62bcef9861e452becb02e63b382aeec8645ba (patch) | |
| tree | 015ad14fc966ee5d8681695a67ed8e6fc628d829 /server_privileges.php | |
| parent | 5f17b32689ebc8850d83bae299bcdb8957531495 (diff) | |
| parent | 62859dffbc6430d4b4d647c2f9cabd66bc4bb7f5 (diff) | |
Merge remote-tracking branch 'origin/master' into useNamespaces_master
Diffstat (limited to 'server_privileges.php')
| -rw-r--r-- | server_privileges.php | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/server_privileges.php b/server_privileges.php index ac887cab17..a98584fb66 100644 --- a/server_privileges.php +++ b/server_privileges.php @@ -414,10 +414,10 @@ if (isset($_REQUEST['adduser'])) { ); } else if (!empty($routinename)) { $response->addHTML( - PMA_getHtmlForRoutineSpecificPrivilges( - $username, $hostname, $dbname, $routinename, - (isset($url_dbname) ? $url_dbname : '') - ) + PMA_getHtmlForRoutineSpecificPrivilges( + $username, $hostname, $dbname, $routinename, + (isset($url_dbname) ? $url_dbname : '') + ) ); } else { // A user was selected -> display the user's properties |