[PATCH] php 5.3.27: Source format improvements