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

Edit page normally lacks wgRevisionId, but has form field parentRevId

Browse source 
Bug: T230133
Change-Id: I5e3defe22aee58e36d662ef051ebfb3ff1b64dde
This commit is contained in:
David Lynch 2020-12-21 12:06:40 -06:00
parent 7946f494ec
commit fa2b80e22a
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/ext.wikiEditor.js
View file

@ -74,7 +74,7 @@
page_id: mw.config.get( 'wgArticleId' ), page_id: mw.config.get( 'wgArticleId' ),
page_title: mw.config.get( 'wgPageName' ), page_title: mw.config.get( 'wgPageName' ),
page_ns: mw.config.get( 'wgNamespaceNumber' ), page_ns: mw.config.get( 'wgNamespaceNumber' ),
revision_id: mw.config.get( 'wgRevisionId' ), revision_id: mw.config.get( 'wgRevisionId' ) || +$( 'input[name=parentRevId]' ).val() || 0,
user_id: mw.user.getId(), user_id: mw.user.getId(),
user_editcount: mw.config.get( 'wgUserEditCount', 0 ), user_editcount: mw.config.get( 'wgUserEditCount', 0 ),
mw_version: mw.config.get( 'wgVersion' ) mw_version: mw.config.get( 'wgVersion' )