jenkins-bot has submitted this change and it was merged. Change subject: Ignore jshint warnings in dumped tokenizer ......................................................................
Ignore jshint warnings in dumped tokenizer * Trying to upstream some of this: https://github.com/dmajda/pegjs/pull/269 Change-Id: I62887bdbaa2230c8fdece2f619c7a836d5be9a31 --- M lib/mediawiki.tokenizer.peg.js 1 file changed, 5 insertions(+), 1 deletion(-) Approvals: Subramanya Sastry: Looks good to me, approved Cscott: Looks good to me, but someone else must approve jenkins-bot: Verified diff --git a/lib/mediawiki.tokenizer.peg.js b/lib/mediawiki.tokenizer.peg.js index 1bb0ea4..ebd43c2 100644 --- a/lib/mediawiki.tokenizer.peg.js +++ b/lib/mediawiki.tokenizer.peg.js @@ -115,8 +115,12 @@ PegTokenizer.prototype.tokenizer = new Function( 'return ' + tokenizerSource )(); } else { // Optionally save & require the tokenizer source + tokenizerSource = tokenizerSource + .replace(/peg\$subclass\(child, parent\) {/g, function(m) { + return m + "\n /*jshint validthis:true, newcap:false */"; + }); tokenizerSource = - '/* jshint loopfunc:true, latedef:false, nonstandard:true */\n' + + '/* jshint loopfunc:true, latedef:false, nonstandard:true, -W100 */\n' + '"use strict";\n' + 'require("./core-upgrade.js");\n' + 'module.exports = ' + tokenizerSource + ';'; -- To view, visit https://gerrit.wikimedia.org/r/134530 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I62887bdbaa2230c8fdece2f619c7a836d5be9a31 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/services/parsoid Gerrit-Branch: master Gerrit-Owner: Arlolra <[email protected]> Gerrit-Reviewer: Cscott <[email protected]> Gerrit-Reviewer: Subramanya Sastry <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
