We still have a cron job generating a list of MediaWiki extensions and made available at https://gerrit.wikimedia.org/mediawiki-extensions.txt
I introduced it back in 2013 with https://gerrit.wikimedia.org/r/c/operations/puppet/+/3149 , probably for #translatewiki.net
There is no equivalent for skins.
There is barely any http hit on the server beside web crawlers such as search engines.
It seems the last usage has been removed in 2014: https://gerrit.wikimedia.org/r/c/translatewiki/+/152294
The last use seems to be for extension distributor:
```
lang=php,name=CommonSettings.php
if ( $wgDBname === 'mediawikiwiki' ) {
wfLoadExtension( 'ExtensionDistributor' );
$wgExtDistListFile = 'https://gerrit.wikimedia.org/mediawiki-extensions.txt';
$wgExtDistAPIConfig = [
'class' => 'GerritExtDistProvider',
'apiUrl' => 'https://gerrit.wikimedia.org/r/projects/mediawiki%2F$TYPE%2F$EXT/branches',
'tarballUrl' => 'https://extdist.wmflabs.org/dist/$TYPE/$EXT-$REF-$SHA.tar.gz',
'tarballName' => '$EXT-$REF-$SHA.tar.gz',
'repoListUrl' => 'https://gerrit.wikimedia.org/r/projects/?b=master&p=mediawiki/$TYPE/',
'sourceUrl' => 'https://gerrit.wikimedia.org/r/mediawiki/$TYPE/$EXT.git',
];
```
As such, I would like to remove the cron job and the file ;)