Siebrand has submitted this change and it was merged.

Change subject: Maintenance for DeleteBatch extension.
......................................................................


Maintenance for DeleteBatch extension.

* Update docs.
* Deglobalization.
* Fix HTML error in translation.

Change-Id: I316fd86fd4bf9350f7712be32888951bb29502f7
---
M DeleteBatch.body.php
M DeleteBatch.i18n.php
2 files changed, 42 insertions(+), 28 deletions(-)

Approvals:
  Siebrand: Verified; Looks good to me, approved


--
To view, visit https://gerrit.wikimedia.org/r/26555
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I316fd86fd4bf9350f7712be32888951bb29502f7
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/DeleteBatch
Gerrit-Branch: master
Gerrit-Owner: Siebrand <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to