jenkins-bot has submitted this change and it was merged.
Change subject: Add --dpinfile option to parse.js to pass in a data-parsoid
input file
......................................................................
Add --dpinfile option to parse.js to pass in a data-parsoid input file
* So we dont have to pass in multi-KB data-parsoid on the commandline
Change-Id: I0ac52609481a13600a72f12919031452c33621b7
---
M tests/parse.js
1 file changed, 11 insertions(+), 1 deletion(-)
Approvals:
GWicke: Looks good to me, approved
jenkins-bot: Verified
diff --git a/tests/parse.js b/tests/parse.js
index 79edf7a..f38da82 100755
--- a/tests/parse.js
+++ b/tests/parse.js
@@ -102,6 +102,11 @@
'boolean': false,
'default': ''
},
+ 'dpinfile': {
+ description: 'Input data-parsoid JSON file',
+ 'boolean': false,
+ 'default': ''
+ },
'dpin': {
description: 'Input data-parsoid JSON',
'boolean': false,
@@ -258,7 +263,12 @@
}
if ( argv.html2wt || argv.html2html ) {
- var dp = argv.dpin.length > 0 ? JSON.parse( argv.dpin )
: null;
+ var dp;
+ if (argv.dpin.length > 0) {
+ dp = JSON.parse( argv.dpin );
+ } else if ( argv.dpinfile ) {
+ dp = JSON.parse(fs.readFileSync(argv.dpinfile,
'utf8'));
+ }
return startsAtHTML( argv, env, input, dp );
} else {
return startsAtWikitext( argv, env, input );
--
To view, visit https://gerrit.wikimedia.org/r/198130
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0ac52609481a13600a72f12919031452c33621b7
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/services/parsoid
Gerrit-Branch: master
Gerrit-Owner: Subramanya Sastry <[email protected]>
Gerrit-Reviewer: GWicke <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
