wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/layouts
History
Thiemo Kreuz c2c5a2b938 Fix filtering not clearing "currently selected page" state 
This patch also removes an obsolete comment.

Bug: T313388
Change-Id: Ie292c07fb096f89a226d7a2239e3dd2883dd91d7
2022-07-22 17:10:48 +02:00
..
ve.ui.MWTwoPaneTransclusionDialogLayout.js Fix filtering not clearing "currently selected page" state 2022-07-22 17:10:48 +02:00
ve.ui.MWVerticalLayout.js Drop StackLayout 2022-07-07 13:06:24 +02:00