mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-12-18 19:01:11 +00:00
bce5b31616
This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
9 lines
265 B
JavaScript
9 lines
265 B
JavaScript
( function ( mw, $ ) {
|
|
$( function () {
|
|
var location = mw.config.get( 'wgLinterErrorLocation' );
|
|
if ( location ) {
|
|
$( '#wpTextbox1' ).focus().textSelection( 'setSelection', { start: location[ 0 ], end: location[ 1 ] } );
|
|
}
|
|
} );
|
|
}( mediaWiki, jQuery ) );
|