Fix to phpMyAdmin-4.2.2 manifest