Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 6f713baa49f3f80ef7438cb12fdf61aae429094e https://github.com/phpmyadmin/phpmyadmin/commit/6f713baa49f3f80ef7438cb12fdf... Author: Marc Delisle <marc@infomarc.info> Date: 2016-01-03 (Sun, 03 Jan 2016) Changed paths: M libraries/server_privileges.lib.php Log Message: ----------- Remove dead code Signed-off-by: Marc Delisle <marc@infomarc.info>