Updated mediawiki/extensions
Project: mediawiki/extensions/ProofreadPage  de72e546617ace0de1d0e66efe039784b00db4e0

Improve tags parser code

Removes a duplicate file

Change-Id: Ib44682281a7fb2d473c07e7cec7852b4755b15d8