phpMyAdmin: 4.2.13 (bugfix)