wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-18 03:41:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/inspectors
History
Volker E f695877de7 Rename deprecated Card to current TabPanel 
Renaming CardLayout to TabPanelLayout and all connected code instances.
Follow-up to Icfe1652cc038dc131b6b855ce9b45040b8ee5178

Bug: T164903
Change-Id: I9ce4e31e390522d469e126fb3a4b05787cef7fef
2017-05-10 11:46:49 -07:00
..
ve.ui.MWAlienExtensionInspector.js build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00
ve.ui.MWCommentInspector.js Override ui.CommentInspector so that copying from it sets text/x-wiki 2017-01-27 01:13:41 -06:00
ve.ui.MWExtensionInspector.js build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00
ve.ui.MWLinkAnnotationInspector.js Rename deprecated Card to current TabPanel 2017-05-10 11:46:49 -07:00
ve.ui.MWLinkNodeInspector.js build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00
ve.ui.MWLiveExtensionInspector.js Update actions on live inspectors and preview dialogs 2017-01-21 18:29:18 +00:00
ve.ui.MWMagicLinkNodeInspector.js build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00
ve.ui.MWWikitextLinkAnnotationInspector.js build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00