Page MenuHomePhabricator

Special:ExtensionDistributor displays an error
Closed, ResolvedPublic

Description

On mediawiki.org, Special:ExtensionDistributor displays the following error: "Unable to fetch extension list!". We use that page to download extensions, but now it is broken and needs to be fixed immediately.

Event Timeline

GeoffreyT2000 triaged this task as Unbreak Now! priority.Mar 2 2018, 2:11 AM

Maybe related to the Gerrit restart that just happened?

Legoktm claimed this task.
legoktm@terbium:~$ mwscript eval.php --wiki=mediawikiwiki
> var_dump($wgMemc->get('extdist-extensions-list'));
array(0) {
}

> var_dump($wgMemc->delete('extdist-extensions-list'));
bool(true)

> var_dump($wgMemc->get('extdist-skins-list'));
array(0) {
}

> var_dump($wgMemc->delete('extdist-skins-list'));
bool(true)

Mentioned in SAL (#wikimedia-operations) [2018-03-02T02:48:50Z] <legoktm> manually purged ExtensionDistributor cache (T188692)

And, thank you for reporting this so quickly :)

Mentioned in SAL (#wikimedia-operations) [2019-05-09T22:57:29Z] <bawolff> Manually cleared extdistributor cache T188692

xSavitar added a subscriber: xSavitar.

Working again!