Fine tune some PHP snippets.