mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
Thiemo Kreuz 63d9969861 Rename outline "container" widget
I can't really tell what insight we get from the word "container".
Every widget is a "container" in some sense, isn't it?

This widget is just _the_ outline, I would argue.

Other suggestions?

Change-Id: I1fb27ee58c1a3dd790022504e978198dadf7ea02
2021-09-24 12:32:29 +02:00
..
apex MediaDialog: Use new icons 2019-04-29 10:00:06 -07:00
contextitems doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
dialogs Rename outline "container" widget 2021-09-24 12:32:29 +02:00
elements Allow text selection on the "More"/"Less" button fade effect 2021-07-07 07:48:28 +00:00
images MediaDialog: Use new icons 2019-04-29 10:00:06 -07:00
inspectors doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
pages Hide "required" indicator in new sidebar 2021-09-14 18:05:11 +02:00
tools Rewrite EducationPopup so it isn't a mixin 2020-09-24 21:33:50 +01:00
widgets Fix ellipsis on long strings in parameter search widget 2021-07-16 13:33:51 +02:00
wikimediaui MediaDialog: Use new icons 2019-04-29 10:00:06 -07:00
ve.ui.MWWikitextSurface.css Override default source mode font in placeholders too 2021-09-09 22:30:38 +02:00