wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 14:33:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

CategoriesPage: Remove unnecessary input widget width

Browse source 
Change-Id: I7fa38b866d0489de612b0ed08cf0b9eb3b9b71af
This commit is contained in:
Ed Sanders 2018-05-16 18:04:08 +01:00
parent c5a6e54dde
commit 70cd11e32d
2 changed files with 0 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
extension.json
View file

@ -1688,7 +1688,6 @@
"modules/ve-mw/ui/tools/ve.ui.MWMetaDialogTool.js"
],
"styles": [
"modules/ve-mw/ui/styles/pages/ve.ui.MWCategoriesPage.css",
"modules/ve-mw/ui/styles/widgets/ve.ui.MWCategoryInputWidget.css",
"modules/ve-mw/ui/styles/widgets/ve.ui.MWCategoryItemWidget.css",
"modules/ve-mw/ui/styles/widgets/ve.ui.MWCategoryPopupWidget.css",

10
modules/ve-mw/ui/styles/pages/ve.ui.MWCategoriesPage.css
View file

@ -1,10 +0,0 @@
/*!
* VisualEditor MediaWiki UserInterface MWCategoriesPage styles.
*
* @copyright 2011-2018 VisualEditor Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
.ve-ui-mwCategoriesPage-defaultsort {
width: 30em;
}