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