wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-26 15:21:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
15622 commits 30 branches 0 tags 192 MiB
Commit graph

6 commits

Author SHA1 Message Date
Ed Sanders 85974b171c Bring back 'alert' indicator 
Was removed upstream in OOUI, but we require it to
show that parameters are deprecated.

Resize to fit new 12x12 size for indicators.

Change-Id: I2356de0754a2ccf09b87b152f3023282f2e37f41
 2018-12-11 14:25:48 +00:00
Volker E a5a3d829a9 Update user avatar icon and make use of OOUI's built-in 
Bug: T123810
Change-Id: I3ed04d3037836b47706d9f7284eeb9668712bdcb
 2018-10-10 18:34:27 -07:00
Ed Sanders 78ba8bbe3c Use OOUI 'markup' icon instead of local 'alienextension' 
Change-Id: Id15596ab0013cb2078480bdb4dde25ef8e7ae50b
 2018-03-20 17:27:54 +00:00
James D. Forrester 528942c2e1 Drop local 'template' icon, use 'puzzle' from upstream 
Now that our template icon has been upstreamed thereto.

Bug: T111041
Change-Id: If101018de284dcc1be086d92427de0d88adb0e02
 2017-07-06 09:52:56 -07:00
Bartosz Dziewoński 86f739c994 Remove "prefix": "oo-ui-icon" from ve.ui.Icons.json 
This gets overridden by "selectorWithoutVariant" and "selectorWithVariant"
in the module definition anyway.

Change-Id: I51b8e76d542058c008d92ce55c7ec6bb66df70b7
 2017-03-21 20:27:04 +01:00
James D. Forrester da422b18d5 Load icons where we can via RLIM 
This gets us the variants (which we need for OOUI 0.17.9); note that I've
cheated and used 0.17.9's colour for the MediaWiki theme's progressive flag
rather than 0.17.8's value of 347bff.

Change-Id: Ic436970e9298ea31f48c6cfdd04b80847aaebbee
 2016-09-09 18:10:56 -07:00