phpmyadmin/phpmyadmin — pull request #759 by roccivic (2013-11-18 20:56:31+00:00)
Title: Fixes bug #4117

Fixes bug #4117: http://sourceforge.net/p/phpmyadmin/bugs/4117/

I couldn't reproduce the bug, but the problem seems pretty obvious.
I also spotted an unused function, which I removed.