phpMyAdmin: duplicate spec
phpMyAdmin: 4.0.0-beta3