| Index: trunk/extensions/VisualEditor/modules/parser/parse.js |
| — | — | @@ -13,11 +13,6 @@ |
| 14 | 14 | |
| 15 | 15 | ( function() { |
| 16 | 16 | var argv = optimist.usage( 'Usage: $0', { |
| 17 | | - 'html': { |
| 18 | | - description: 'Produce html output instead of WikiDom', |
| 19 | | - 'boolean': true, |
| 20 | | - 'default': false |
| 21 | | - }, |
| 22 | 17 | 'debug': { |
| 23 | 18 | description: 'Debug mode', |
| 24 | 19 | 'boolean': true, |
| — | — | @@ -75,15 +70,8 @@ |
| 76 | 71 | process.stdin.on( 'end', function() { |
| 77 | 72 | var input = inputChunks.join(''); |
| 78 | 73 | parser.on('document', function ( document ) { |
| 79 | | - if ( ! argv.html ) { |
| 80 | | - var wikiDom = new DOMConverter().HTMLtoWiki( document.body ), |
| 81 | | - // Serialize the WikiDom with indentation |
| 82 | | - output = JSON.stringify( wikiDom, null, 2 ); |
| 83 | | - process.stdout.write( output ); |
| 84 | | - } else { |
| 85 | | - // Print out the html |
| 86 | | - process.stdout.write( document.body.innerHTML ); |
| 87 | | - } |
| | 74 | + // Print out the html |
| | 75 | + process.stdout.write( document.body.innerHTML ); |
| 88 | 76 | // add a trailing newline for shell user's benefit |
| 89 | 77 | process.stdout.write( "\n" ); |
| 90 | 78 | process.exit(0); |