Yaron Koren has submitted this change and it was merged. Change subject: New extension: "HTML Tags" ......................................................................
New extension: "HTML Tags" Change-Id: I10280930e0eaf97015e62e88809a785892683dc2 --- A HTMLTags.i18n.php A HTMLTags.php A HTMLTags_body.php A README 4 files changed, 155 insertions(+), 0 deletions(-) Approvals: Yaron Koren: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/31273 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I10280930e0eaf97015e62e88809a785892683dc2 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/HTMLTags Gerrit-Branch: master Gerrit-Owner: Yaron Koren <[email protected]> Gerrit-Reviewer: Yaron Koren <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
