Updated mediawiki/extensions
Project: mediawiki/extensions/ReplaceText  871f067d5702ac0bfffd486ffefc553655432220
null
Fix *other* undefined variable introduced in I8e8e22b3

Follow-up to Siebrand's commit, I14b9a82d0b36f1682cd24d7d56ea6b2ebbddb412

Change-Id: I6eae4b3e0946ea3038ca2622d57b1b401a1032b5