wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-30 17:04:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

Clean-up: inline array merge

Browse source 
Change-Id: Ie976bf70f4117db09b53e6192f983930c7e6a458
This commit is contained in:
Adam Wight 2021-02-01 13:24:05 +01:00
parent 37b851824d
commit 81bd2fe546
2 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
resources/ext.CodeMirror.js
View file

@ -179,11 +179,10 @@
var event, editCountBucket;
/* eslint-disable camelcase */
event = {
event = $.extend( {
session_token: mw.user.sessionId(),
user_id: mw.user.getId()
};
$.extend( event, data );
}, data );
editCountBucket = mw.config.get( 'wgUserEditCountBucket' );
if ( editCountBucket !== null ) {
event.user_edit_count_bucket = editCountBucket;

5
resources/modules/ve-cm/ve.ui.CodeMirrorTool.js
View file

@ -35,11 +35,10 @@ ve.ui.CodeMirrorTool.prototype.logUsage = function ( data ) {
var event, editCountBucket;
/* eslint-disable camelcase */
event = {
event = $.extend( {
session_token: mw.user.sessionId(),
user_id: mw.user.getId()
};
$.extend( event, data );
}, data );
editCountBucket = mw.config.get( 'wgUserEditCountBucket' );
if ( editCountBucket !== null ) {
event.user_edit_count_bucket = editCountBucket;