wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-01 17:36:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ce/styles
History
Christian Williams 30cfe6998f Fixing shields 
Shields were being added twice. Switched the blank png to gif
because the red IE background couldn't be replicated. Changed
some styles from Alien to Protected.

Change-Id: I9c62665e4e0dc54b8511749b9d2a629db7990a16
2013-05-08 12:29:25 -07:00
..
images
ve.ce.DocumentNode.css Bump copyright notice year range to -2013 over -2012 2013-02-19 15:37:34 -08:00
ve.ce.Node.css Fixing shields 2013-05-08 12:29:25 -07:00
ve.ce.Surface.css ve.ce.ProtectedNode 2013-05-07 00:08:48 +00:00