phpMyAdmin: 4.2.9 (bugfix)