wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-15 03:23:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
633 commits 162 branches 5 tags 26 MiB
Commit graph

3 commits

Author SHA1 Message Date
Umherirrender b2aeedd34a Move images folder into modules folder 
All resources needed by client should in one folder

Change-Id: Ib9f6ea7bb59f2b5b8115c381290032170d482a98
 2021-03-12 20:09:55 +01:00
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
Ed Sanders b5312f1d4c Replace toolbar with OOUI/OOUI-style SVGs 
* Use resource loader embedding for better performance
  (uses a slightly hacky method to achieve this, the only
  alternative would be to fix the WikiEditor API, but that
  would introduce a version dependency)
* Use SVGs from OOUI where available or create new ones where not.
  These are used and available under the OOjs UI MIT licence.
* Provide PNG fallbacks using LESS mixin
* Remove unused icons

Change-Id: If38d51d24958716e2617c4cb515e7c0575cdfeba
 2016-02-29 13:00:15 -08:00