phpMyAdmin: 4.0.7 (bugfix)