wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Finish color highlighting for dump grepper / fix broken commit r112592.

Browse source
This commit is contained in:
Gabriel Wicke 2012-02-28 13:48:47 +00:00
parent b8bb503199
commit 4806505ce4
Notes: Gabriel Wicke 2012-02-28 13:48:47 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/112594
1 changed files with 12 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
tests/parser/dumpGrepper.js
View file

@ -27,6 +27,11 @@ if (module === require.main) {
description: 'Case-insensitive matching', description: 'Case-insensitive matching',
'boolean': true, 'boolean': true,
'default': false 'default': false
},
'color': {
description: 'Highlight matched substring using color',
'boolean': true,
'default': true
} }
} ).argv; } ).argv;
@ -43,12 +48,14 @@ if (module === require.main) {
reader.on( 'revision', grepper.grepRev.bind( grepper ) ); reader.on( 'revision', grepper.grepRev.bind( grepper ) );
grepper.on( 'match', function ( revision, bits ) { grepper.on( 'match', function ( revision, bits ) {
console.log( 'Match:' + revision.page.title ); console.log( 'Match:' + revision.page.title );
for ( var i = 0, l = bits.length; i < l-1; i++ ) { for ( var i = 0, l = bits.length; i < l-1; i += 2 ) {
var m = bits[i+1].match( re )[0]; var m = bits[i+1];
console.log( 'm: ' + m ); if ( argv.color ) {
console.log( bits[i].substr(-40) + m.green + bits[i+1].substr( m.length, 40 ) ); console.log( bits[i].substr(-40) + m.green + bits[i+2].substr( 0, 40 ) );
} else {
console.log( bits[i].substr(-40) + m + bits[i+2].substr( 0, 40 ) );
}
} }
//console.log( bits.map( function ( s ) { return s.substr(0, 40) } ) );
} ); } );
process.stdin.setEncoding('utf8'); process.stdin.setEncoding('utf8');
process.stdin.on('data', reader.push.bind(reader) ); process.stdin.on('data', reader.push.bind(reader) );