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