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

hashar created this task.Oct 20 2020, 2:21 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptOct 20 2020, 2:21 PM
Kizule added a subscriber: Kizule.Oct 20 2020, 10:51 PM

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

Thank you @Nikerabbit

hashar updated the task description. (Show Details)Oct 23 2020, 9:33 AM

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

Dzahn added a subscriber: Dzahn.Oct 23 2020, 9:17 PM

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

Dzahn added a comment.Tue, Oct 27, 8:11 PM

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 closed this task as Resolved.Tue, Oct 27, 8:29 PM
Dzahn claimed this task.

@hashar resolved, right?

Dzahn triaged this task as Low priority.Tue, Oct 27, 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)

hashar closed this task as Resolved.Mon, Nov 2, 2:10 PM

Yes solved. Thank you everyone!