GWicke has submitted this change and it was merged. Change subject: Rename data-mw into data-rt ......................................................................
Rename data-mw into data-rt This hopefully makes it clearer that data-rt contains private round-trip info instead of semantically interesting data. Change-Id: I03b476ed112a4b627c9871ee3677c450f943429a --- M modules/parser/ext.core.Sanitizer.js M modules/parser/mediawiki.HTML5TreeBuilder.node.js M modules/parser/mediawiki.LinearModelConverter.js M modules/parser/mediawiki.WikitextSerializer.js M tests/parser/parserTests-whitelist.js M tests/parser/parserTests.js 6 files changed, 9 insertions(+), 9 deletions(-) Approvals: Subramanya Sastry: Looks good to me, but someone else must approve GWicke: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/15732 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I03b476ed112a4b627c9871ee3677c450f943429a Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: master Gerrit-Owner: GWicke <[email protected]> Gerrit-Reviewer: GWicke <[email protected]> Gerrit-Reviewer: Subramanya Sastry <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
