Update PHPMyAdmin

I talked about this before buy, any way to easily hook this formula on Github's [releases](https://github.com/phpmyadmin/phpmyadmin/releases) now that PHPMyAdmin is mostly there, instead of having to update it all the time ?