Subramanya Sastry has submitted this change and it was merged.

Change subject: Preserve HTML vs. XML syntax in empty HTML tag round-tripping
......................................................................


Preserve HTML vs. XML syntax in empty HTML tag round-tripping

Change-Id: I0d19c742f67a1c2f25e2475885e4184988e9cd5d
---
M js/lib/mediawiki.Util.js
M js/lib/mediawiki.WikitextSerializer.js
M js/lib/mediawiki.tokenizer.peg.js
M js/lib/pegTokenizer.pegjs.txt
4 files changed, 25 insertions(+), 10 deletions(-)

Approvals:
  Subramanya Sastry: Verified; Looks good to me, approved


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

Gerrit-MessageType: merged
Gerrit-Change-Id: I0d19c742f67a1c2f25e2475885e4184988e9cd5d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Parsoid
Gerrit-Branch: master
Gerrit-Owner: GWicke <gwi...@wikimedia.org>
Gerrit-Reviewer: GWicke <gwi...@wikimedia.org>
Gerrit-Reviewer: Subramanya Sastry <ssas...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to