phpMyAdmin: 4.1.13 (bugfix)