PHP Editor, strings used as task markers in comments