Update PHPMyAdmin

As mentioned las time, PHPMyAdmin is [on Github now](https://github.com/phpmyadmin/phpmyadmin) but I have no experience in creating a Git repository formula, if anyone wants to do a PR that pulls directly from the repo instead of the downloads on SourceForge.