Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 853d6dc263183e52d1cf86c133fa00069a1bb2bf https://github.com/phpmyadmin/phpmyadmin/commit/853d6dc263183e52d1cf86c133fa... Author: J.M <me@mynetx.net> Date: 2012-10-09 (Tue, 09 Oct 2012) Changed paths: M js/server_privileges.js Log Message: ----------- Update status of checkall checkbox in server privileges after dropping or adding a user