phpmyadmin/phpmyadmin — pull request #1225 by simonswine (2014-06-13 15:36:22+00:00)
Title: Fix 'token mismatch' due to missing server parameter for some AJAX reqs

* server_privileges user duplicate request
* js error_reporting
* cf. https://sourceforge.net/p/phpmyadmin/bugs/3893

Signed-off-by: Christian Simon