jenkins-bot has submitted this change and it was merged.
Change subject: Use html5 release.
......................................................................
Use html5 release.
Change-Id: I3540b529bcec1f83b8e32e96f5814f2cbb2a6c04
---
M js/package.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Subramanya Sastry: Looks good to me, approved
jenkins-bot: Verified
diff --git a/js/package.json b/js/package.json
index b3da090..a84f778 100644
--- a/js/package.json
+++ b/js/package.json
@@ -17,7 +17,7 @@
"async": "0.x.x",
"express": "2.5.x",
"html5-entities": "~0.5.0",
- "html5":
"git://github.com/aredridel/html5.git#052ac530a2a422353067edb66c2fec86878e2340"
+ "html5": "0.3.15"
},
"devDependencies": {
"colors": "0.x.x",
--
To view, visit https://gerrit.wikimedia.org/r/84778
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I3540b529bcec1f83b8e32e96f5814f2cbb2a6c04
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Parsoid
Gerrit-Branch: master
Gerrit-Owner: Arlolra <abrea...@wikimedia.org>
Gerrit-Reviewer: Subramanya Sastry <ssas...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
