[MediaWiki-commits] [Gerrit] Adding missing extensions from mediawiki/extensions.git repo... - change (mediawiki/extensions[master])
Reedy has submitted this change and it was merged. Change subject: Adding missing extensions from mediawiki/extensions.git repo: .. Adding missing extensions from mediawiki/extensions.git repo: BibManager Description2 FeedsFrom
[MediaWiki-commits] [Gerrit] Adding missing extensions from mediawiki/extensions.git repo... - change (mediawiki/extensions[master])
Reedy has uploaded a new change for review. Change subject: Adding missing extensions from mediawiki/extensions.git repo: .. Adding missing extensions from mediawiki/extensions.git repo: BibManager Description2 FeedsFromPrivateW