Bugfix-Release für phpMyAdmin

Mit der neuen Version wurden keine neuen Funktionen eingeführt und auch keine Sicherheitsprobleme behoben. Es handelt sich um ein reines Wartungsrelease, mit dem lediglich einige Bugs gefixt werden. (Daniel Dubsky)