Update phpMyAdmin to 4.0.4.2