Fix php checkstyle