phpmyadmin/phpmyadmin — pull request #127 by ibennetch (2013-01-09 23:43:18+00:00)
Title: fix .js file permissions

One of the JavaScript files had execute permissions. This fixes that.