wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-30 17:14:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
C. Scott Ananian 43e4a3363b Update comment w/ rename of Article::getRedirectHeaderHtml() 
Change-Id: I20f29af6856129bd952bbb003ae967376a203984
Depends-On: I4d0de0e72473ae039dca420a2733bc746d8c2951
2023-09-15 15:14:19 -04:00
..
ve.init.mw.ArticleTarget.js Update comment w/ rename of Article::getRedirectHeaderHtml() 2023-09-15 15:14:19 -04:00
ve.init.mw.DesktopArticleTarget.js Merge "Support '&editintro=…' etc. on subsequent loads via page tabs" 2023-07-11 15:33:30 +00:00
ve.init.mw.MobileArticleTarget.js Fix showing temp user popup after page reload 2023-08-24 16:09:12 +00:00
ve.init.mw.Target.js Merge "Update messages when becoming logged-in/logged-out for IP masking" 2023-08-30 13:37:00 +00:00