Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 75d12daa09b25a71f6389222ea16e97b1b01c01d https://github.com/phpmyadmin/phpmyadmin/commit/75d12daa09b25a71f6389222ea16... Author: Marc Delisle <marc@infomarc.info> Date: 2014-07-25 (Fri, 25 Jul 2014) Changed paths: M libraries/server_privileges.lib.php Log Message: ----------- Fix parameter type Signed-off-by: Marc Delisle <marc@infomarc.info>