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.