make: lint over all files that are `ok' for PHP...
make: lint over all files that are `ok' for PHP...

Seeing PHP ignore text files makes it easier to lint over more
files for a simple reason:  maybe someone sneaked a PHP file
into the repo and forgot the proper file extension, which is not
uncommon for utilities in *bin/ -- makes it easier to catch those.

opnsense/core,opnsense/core,opnsense/core,opnsense/core,opnsense/core,opnsense/core