phpmyadmin/phpmyadmin — pull request #778 by omerjerk (2013-12-05 14:22:51+00:00)
Title: bugfix in error_report.js

Signed-off-by: Umair Khan

Fixing the previous pull request.
https://github.com/phpmyadmin/phpmyadmin/pull/776