update phpMyAdmin to 4.0.7