add Dev PHP and rely on error_reporting