bug 569: adjust php code style