Branch: refs/heads/QA_4_1 Home: https://github.com/phpmyadmin/phpmyadmin Commit: 3840c43403efc63b6e8fb958444b6727150973a5 https://github.com/phpmyadmin/phpmyadmin/commit/3840c43403efc63b6e8fb958444b... Author: Marc Delisle <marc@infomarc.info> Date: 2013-12-01 (Sun, 01 Dec 2013) Changed paths: M js/server_privileges.js Log Message: ----------- This is undefined when we copy a user without deleting the old one