wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-30 09:54:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeEd.../images
History
Ed Sanders 819c6e1c82 Use OOUI icons 
* Use upstream icons where available
* Move extra icons into a ResourceLoaderImageModule

Depends-On: I3e6f65f6f290778d3fbfa22f5d212c26fee12a86
Change-Id: I61cd750613922e58cec18a2886609f20e73f4a61
2018-03-23 22:51:35 +00:00
..
gotoLine.svg Use OOUI icons 2018-03-23 22:51:35 +00:00
pilcrow.svg Use OOUI icons 2018-03-23 22:51:35 +00:00
wrapping.svg Use OOUI icons 2018-03-23 22:51:35 +00:00