Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: ef18a3a9b7aa45df91b741e824ddcab9d0d3db30 https://github.com/phpmyadmin/phpmyadmin/commit/ef18a3a9b7aa45df91b741e824dd... Author: Marc Delisle <marc@infomarc.info> Date: 2015-09-01 (Tue, 01 Sep 2015) Changed paths: M libraries/server_privileges.lib.php Log Message: ----------- Remove dead code Signed-off-by: Marc Delisle <marc@infomarc.info>