[Phpmyadmin-devel] Refactoring server_privileges.php