bwang 4bf1a7b6f6 Remove extra border that show in a page tools dropdown when a menu is hidden ... Fixes this https://phabricator.wikimedia.org/F36201839, which you can see for anon users, who have an empty "Actions" menu inside the page tools dropdown Follow-up: Ia2cba7eb60739f0af8153c6c4246aa80d2a189c0 Change-Id: I617b37fbdb7b300a4266fd9f927d81e6a63d74bc		2023-01-13 20:41:34 +00:00
..
common	Add default width and max width to dropdowns in modern Vector, preserve existing styles for legacy Vector	2023-01-12 11:45:13 -06:00
mediawiki.less	mediawiki.skin.variables: Add border-style and border-width vars	2022-09-23 17:58:42 +00:00
mediawiki.less.legacy	Vector legacy no longer imports variables from Vector modern	2022-08-24 15:08:35 +00:00
skins.vector.es6	Override PinnableElement behaviour at low resolutions.	2023-01-13 18:09:11 +00:00
skins.vector.js	Move limitedWidthToggle.js and features.js to skins.vector.es6 module	2022-12-07 16:45:52 -07:00
skins.vector.legacy.js	Update @wikimedia/types-wikimedia to latest version	2022-03-28 23:33:50 +00:00
skins.vector.search	search: Remove unused generateUrl() function	2022-12-06 13:35:45 +01:00
skins.vector.styles	Remove extra border that show in a page tools dropdown when a menu is hidden	2023-01-13 20:41:34 +00:00
skins.vector.styles.legacy	Add default width and max width to dropdowns in modern Vector, preserve existing styles for legacy Vector	2023-01-12 11:45:13 -06:00
CheckboxHack.d.ts
CollapsibleTabsPlugin.d.ts
MediaWikiPageReady.d.ts
mw.d.ts
VectorResourceLoaderVirtualConfig.d.ts	Remove $wgVectorSearchHost, replace with $wgVectorSearchApiUrl	2022-10-07 00:57:58 +00:00
vue.d.ts