From https://gerrit.wikimedia.org/r/c/mediawiki/extensions/BetaFeatures/+/449004/2/.phpcs.xml
php5 is very obsolete, especially given we don't support it any more. inc should be phased out (T184782: Get rid of `.inc` files in MediaWiki, using .php instead (was: Test coverage missing for .inc files)), it's current usage is pretty low: https://codesearch.wmflabs.org/search/?q=%3C%5C%3Fphp&i=nope&files=.inc%24&repos=
After updating the default ruleset, we can have libraryupgrader implement this change across all repos.