[PR] Update phpMyAdmin to 4.2.11