PHP whitespace in plug-in comments