PHP Lint: Tidying file filters.