Make source_with_oneline_annotations.php valid PHP