mediawiki-extensions-Visual.../modules/ve-mw/ui
Volker E 19eb726677 Align border and border-radius values
Aligning `border` code syntax codebase-wide and
`border-radius` values to WikimediaUI theme.

Change-Id: I1a16dccf17bd112ba5071ebfe02d57237feb39e0
2017-08-16 14:05:55 -07:00
..
actions MWLinkAction: Don't annotate close tags 2017-08-13 11:33:43 -04:00
commands
contextitems Merge "Context item for LanguageConverter markup" 2017-08-11 14:29:09 +00:00
datatransferhandlers Merge "MWMediaTransferHandler: Allow uploading of dropped Blobs" 2017-04-27 19:32:42 +00:00
dialogs build: Upgrade grunt-eslint from 19.0.0 to 20.0.0 2017-07-18 12:55:33 +01:00
elements
inspectors MWLinkAction: Don't annotate close tags 2017-08-13 11:33:43 -04:00
pages build: Upgrade grunt-eslint from 19.0.0 to 20.0.0 2017-07-18 12:55:33 +01:00
styles Align border and border-radius values 2017-08-16 14:05:55 -07:00
themes Replace remaining greys/reds with WikimediaUI color palette colors 2017-08-16 13:43:02 -07:00
tools ve.ui.MWEducationPopupTool: Don't show if not inside a BarToolGroup 2017-07-19 22:13:34 +02:00
widgets build: Upgrade grunt-eslint from 19.0.0 to 20.0.0 2017-07-18 12:55:33 +01:00
ve.ui.MWCommandRegistry.js
ve.ui.MWExtensionWindow.js TextInputWidgets: update for deprecated multiline behavior 2017-07-03 22:09:58 +01:00
ve.ui.MWSequenceRegistry.js
ve.ui.MWWikitextCommandRegistry.js Fix wikitext table insertion 2017-07-10 16:16:11 +01:00
ve.ui.MWWikitextDataTransferHandlerFactory.js MWWikitextDataTransferHandlerFactory: Don't reimplement getText 2017-05-10 10:58:42 -05:00
ve.ui.MWWikitextSequenceRegistry.js
ve.ui.MWWikitextSurface.js
ve.ui.MWWikitextTransferRegistry.js build: Upgrade grunt-eslint from 19.0.0 to 20.0.0 2017-07-18 12:55:33 +01:00