wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 08:34:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
Ed Sanders 981dd6c250 Don't set oldid if it is equal to curId 
Change-Id: I0fff55ab1e8d9c5c24b39526aa5d8a893cd99a2a
2017-04-07 11:49:30 +01:00
..
ve.init.mw.DesktopArticleTarget.init.js Don't set oldid if it is equal to curId 2017-04-07 11:49:30 +01:00
ve.init.mw.DesktopArticleTarget.js Merge "Don't use '#content #firstHeading', unnecessarily specific" 2017-03-29 18:02:22 +00:00
ve.init.mw.MobileArticleTarget.js *ArticleTarget: Don't trust oldid in the query string, it lies 2017-03-24 00:30:00 +00:00