phpmyadmin/phpmyadmin — pull request #901 by dhananjay92 (2014-02-08 14:11:25+00:00)
Title: Merge pull request #4 from dhananjay92/bug#4237

Fix for bug#4237.