Page MenuHomePhabricator

Phase out
Closed, ResolvedPublic


We still have a cron job generating a list of MediaWiki extensions and made available at

I introduced it back in 2013 with , probably for

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:

The last use seems to be for extension distributor:

if ( $wgDBname === 'mediawikiwiki' ) {
	wfLoadExtension( 'ExtensionDistributor' );
	$wgExtDistListFile = '';
	$wgExtDistAPIConfig = [
		'class' => 'GerritExtDistProvider',
		'apiUrl' => '$TYPE%2F$EXT/branches',
		'tarballUrl' => '$TYPE/$EXT-$REF-$SHA.tar.gz',
		'tarballName' => '$EXT-$REF-$SHA.tar.gz',
		'repoListUrl' => '$TYPE/',
		'sourceUrl' => '$TYPE/$EXT.git',

As such, I would like to remove the cron job and the file ;)

Event Timeline

Arghhh extension distributor ... that is the usecase :-\

Thank you @Nikerabbit

ExtensionDistributor doesn't actually use it anymore either, it relies on repoListUrl which talks to the Gerrit API directly.

Change 636083 had a related patch set uploaded (by Legoktm; owner: Legoktm):
[operations/mediawiki-config@master] Remove $wgExtDistListFile, unused

Change 636084 had a related patch set uploaded (by Dzahn; owner: Dzahn):
[operations/puppet@production] gerrit: remove 'list_mediawiki_extensions' cron job

Change 636084 merged by Dzahn:
[operations/puppet@production] gerrit: remove 'list_mediawiki_extensions' cron job

17:22 < mutante> !log gerrit1001/2001 - sudo rm /var/www/mediawiki-extensions.txt

Mentioned in SAL (#wikimedia-operations) [2020-10-27T20:13:33Z] <mutante> gerrit1001/gerrit2001: manually deleting list_mediawiki_extensions cron job (T266024)

Dzahn claimed this task.

@hashar resolved, right?

Dzahn triaged this task as Low priority.Oct 27 2020, 8:30 PM

Change 636083 merged by jenkins-bot:
[operations/mediawiki-config@master] Remove $wgExtDistListFile, unused

Mentioned in SAL (#wikimedia-operations) [2020-11-02T14:01:20Z] <hashar@deploy1001> Synchronized wmf-config/CommonSettings.php: Remove $wgExtDistListFile, unused - T266024 (duration: 00m 58s)

Yes solved. Thank you everyone!