Updated mediawiki/extensions Project: mediawiki/extensions/Mantle a2885d306f71e4050942b27a8cf68b3df78c4079
Remove files so people know this extension is no longer active
Bug: T85890
Change-Id: Ib081c4e66e372a7f3a110e4e7299eb6d8634b282
Updated mediawiki/extensions Project: mediawiki/extensions/Mantle… Tags None Referenced Files None Subscribers None
Description
Details
|