mediawiki-extensions.txt
Closed, ResolvedPublic
Actions

Description

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:

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 ;)

Details

	Project	Branch	Lines +/-	Subject
	operations/mediawiki-config	master	+0 -1	Remove $wgExtDistListFile, unused
	operations/puppet	production	+0 -7	gerrit: remove 'list_mediawiki_extensions' cron job

Customize query in gerrit

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

hashar added projects: Release-Engineering-Team (Development services), Release-Engineering-Team-TODO (2020-10-01 to 2020-12-31 (Q2)).Oct 20 2020, 2:21 PM

Kizule added a subscriber: Kizule.Oct 20 2020, 10:51 PM

Ok for translatewiki.net. Do note that code search finds one use of the file: https://gerrit.wikimedia.org/g/operations/mediawiki-config/+/60a76ebe4fa70bd4331abaf3cf9a1a7f33f63d26/wmf-config/CommonSettings.php#1249

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

Thank you @Nikerabbit

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

RhinosF1 added a subscriber: RhinosF1.Oct 23 2020, 10: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

https://gerrit.wikimedia.org/r/636083

gerritbot added a project: Patch-For-Review.Oct 23 2020, 8:38 PM

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

https://gerrit.wikimedia.org/r/636084

Jdforrester-WMF added a subscriber: Jdforrester-WMF.Oct 23 2020, 8:54 PM

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

https://gerrit.wikimedia.org/r/636084

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)

cleaned up. ^

https://gerrit.wikimedia.org/mediawiki-extensions.txt is now 404

@hashar resolved, right?

reopening because https://gerrit.wikimedia.org/r/c/operations/mediawiki-config/+/636083/ is not deployed yet

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

https://gerrit.wikimedia.org/r/636083

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!

Maintenance_bot removed a project: Patch-For-Review.Nov 2 2020, 2:10 PM

Phase out https://gerrit.wikimedia.org/mediawiki-extensions.txtClosed, ResolvedPublicActions

Description

Details

Event Timeline

Phase out https://gerrit.wikimedia.org/mediawiki-extensions.txt
Closed, ResolvedPublic
Actions