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

Use preferred number casting method

Browse source 
Change-Id: I77215f2bdb6eb055375e5b803d23b6f26df2d8d1
This commit is contained in:
Ed Sanders 2016-12-29 20:09:27 +00:00
parent 2217913182
commit 3f47aec20b
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/ve-mw/init/targets/ve.init.mw.DesktopArticleTarget.init.js
View file

@ -699,9 +699,9 @@
}; };
// Cast "0" (T89513) // Cast "0" (T89513)
enable = Number( mw.user.options.get( 'visualeditor-enable' ) ); enable = +mw.user.options.get( 'visualeditor-enable' );
tempdisable = Number( mw.user.options.get( 'visualeditor-betatempdisable' ) ); tempdisable = +mw.user.options.get( 'visualeditor-betatempdisable' );
autodisable = Number( mw.user.options.get( 'visualeditor-autodisable' ) ); autodisable = +mw.user.options.get( 'visualeditor-autodisable' );
tabPreference = mw.user.options.get( 'visualeditor-tabs' ); tabPreference = mw.user.options.get( 'visualeditor-tabs' );
init.isSingleEditTab = conf.singleEditTab && tabPreference !== 'multi-tab'; init.isSingleEditTab = conf.singleEditTab && tabPreference !== 'multi-tab';