diff options
author | Michal Čihař <mcihar@suse.cz> | 2011-08-05 16:49:23 +0400 |
---|---|---|
committer | Michal Čihař <mcihar@suse.cz> | 2011-08-05 16:49:23 +0400 |
commit | 1ec0b69e6bf3378188a051b45fb2c0e7ea93b990 (patch) | |
tree | 1bf578071b04275411cdb69c64ce0e54ce10391d /server_privileges.php | |
parent | 6205d419b68d57105d985a4a5335498337f6ccf4 (diff) |
Coding style, function definitions
Diffstat (limited to 'server_privileges.php')
-rw-r--r-- | server_privileges.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/server_privileges.php b/server_privileges.php index 00073e84fa..2d7732c0ea 100644 --- a/server_privileges.php +++ b/server_privileges.php @@ -138,7 +138,8 @@ $random_n = mt_rand(0,1000000); // a random number that will be appended to the * @param string $tablename Table name * @return string the escaped (if necessary) database.table */ -function PMA_wildcardEscapeForGrant($dbname, $tablename) { +function PMA_wildcardEscapeForGrant($dbname, $tablename) +{ if (! strlen($dbname)) { $db_and_table = '*.*'; |