Its only three repos:
- https://github.com/commons-app/apps-android-commons
- https://github.com/wikimedia/apps-android-wikipedia
- https://github.com/wikimedia/wikipedia-ios
While these are technically not deployed server-side as part of the MediaWiki stack at WMF, they are as much as a first-party WMF consumer of MediaWiki code, as services like PCS (mediawiki/services/mobileapps) and Wikifeeds which are standalone codebases that make API calls to MediaWiki.
The benefit of including it, and thus making sure code patterns that require migration of sorts are found, I think outweights the potential downside of a false positive.
We already need to use file filters like php to limit results to server-side PHP code, because there is client-side JavaScript code that consumes (instead of defines) the MediaWiki API in MediaWiki core itself, in MediaWiki extensions, and in the various microservices.
See also: