wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-28 16:20:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Use parseInt(), not Number.parseInt()"

Browse source
This commit is contained in:
jenkins-bot 2015-03-27 23:23:22 +00:00 committed by Gerrit Code Review
parent f7adb9d7d6 b858332667
commit 08afdfadbd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ve-mw/init/ve.init.mw.Target.js
View file

@ -340,7 +340,7 @@ ve.init.mw.Target.onLoad = function ( response ) {
if ( aboutDoc ) {
docRevIdMatches = aboutDoc.match( /revision\/([0-9]*)$/ );
if ( docRevIdMatches.length >= 2 ) {
docRevId = Number.parseInt( docRevIdMatches[1] );
docRevId = parseInt( docRevIdMatches[1] );
}
}
if ( docRevId !== this.revid ) {