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.
Description
Description
Event Timeline
Comment Actions
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)Comment Actions
Mentioned in SAL (#wikimedia-operations) [2018-03-02T02:48:50Z] <legoktm> manually purged ExtensionDistributor cache (T188692)
Comment Actions
Mentioned in SAL (#wikimedia-operations) [2019-05-09T22:57:29Z] <bawolff> Manually cleared extdistributor cache T188692