php comments according to php-lint