phpMyAdmin: version bumped to 3.5.7.