In https://gerrit.wikimedia.org/r/c/mediawiki/core/+/865811 we updated the default for targets to be ["desktop", "mobile"]. This means that any extensions/skins defining this are now redundant and can remove these definitions,
The following query marks some of the offenders (regex to be improved later):
https://codesearch.wmcloud.org/search/?q=%22targets%22&i=nope&files=(extension%7Cskin).json&excludeFiles=&repos=
TODO
- Remove the lines
- Bump the MediaWiki required version to 1.40