TODO done.
phpMyAdmin released new version, which fixes CVE-2014-4349. Also closes #30