wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-27 09:42:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Add event logging for Realtime Preview enabling and disabling"

Browse source
This commit is contained in:
jenkins-bot 2022-04-04 20:39:08 +00:00 committed by Gerrit Code Review
parent 59d1aac091 119f25e424
commit 8954cb96cd
2 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
modules/ext.wikiEditor.js
View file

@ -269,4 +269,16 @@
$textarea.wikiEditor( 'addModule', dialogsConfig.getDefaultConfig() );
};
// Add logging for Realtime Preview.
mw.hook( 'ext.WikiEditor.realtimepreview.enable' ).add( function () {
logEditFeature( 'preview', 'preview-realtime-on' );
} );
mw.hook( 'ext.WikiEditor.realtimepreview.inuse' ).add( function () {
logEditFeature( 'preview', 'preview-realtime-inuse' );
} );
mw.hook( 'ext.WikiEditor.realtimepreview.disable' ).add( function () {
logEditFeature( 'preview', 'preview-realtime-off' );
} );
}() );

1
modules/realtimepreview/init.js
View file

@ -15,5 +15,6 @@ mw.hook( 'wikiEditor.toolbarReady' ).add( function ( $textarea ) {
} );
if ( realtimePreview.getUserPref() ) {
realtimePreview.enable();
mw.hook( 'ext.WikiEditor.realtimepreview.inuse' ).fire( this );
}
} );