Sorry the previous pull request got closed as a mistake. Here is the new pull request:

https://github.com/phpmyadmin/phpmyadmin/pull/160

-- 
Ayush Chaudhary