Update PHPMyAdmin to latest stable (3.5.7 -> 4.0.2)