Ed Sanders af1a91ade9 Use OOUI 'markup' icon instead of VE's deprecated 'alienextension' ... Change-Id: Iad1882c20c17792c1339cf9922b9c4c43bf6122b		2018-03-20 19:00:41 +00:00
..
ve-syntaxhighlight	Use OOUI 'markup' icon instead of VE's deprecated 'alienextension'	2018-03-20 19:00:41 +00:00
pygments.generated.css	Update pygments to 2.2	2017-04-27 15:10:16 +02:00
pygments.wrapper.css	Add new (unprefixed) CSS modifier user-select	2017-11-07 19:36:32 +01:00