Fix ref_phpmanual_path