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
721 commits 162 branches 5 tags 26 MiB
Commit graph

10 commits

Author SHA1 Message Date
Ed Sanders d4cc23f606 Update ace-build 1.2.9 -> 1.4.9 and recompile 
Change-Id: I31eeb56eec4995e1bff8248e5c1d4df7f20ad48b
 2020-04-14 14:30:34 -07: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
jenkins-bot d2b0b100f4 Merge "Use correct directionality for nested inputs (e.g. find & replace)" 2018-02-02 18:41:05 +00:00
Ed Sanders c56ec08a14 Use correct directionality for nested inputs (e.g. find & replace) 
Bug: T186329
Change-Id: I08cb77aa45378dd21cc2176205d3eaad84469db1
 2018-02-02 16:14:21 +00:00
James D. Forrester 85536550c3 Remove reference to mw-editButtons-pipe-separator, now removed from MW 
Change-Id: Ia214c25b1ca65f6998da9de0949034829d9959d5
 2018-01-10 14:29:04 -08:00
Ed Sanders 14df929c95 Match font and size to other source editors 
All of our other source editors (2003/06/10/17) use the
editfont classes.

Change-Id: Ic9f31eadaefba1af0c1d75171a46218abbd8bc88
 2018-01-04 12:33:48 +00:00
James D. Forrester dd8daf7d22 Hide MediaWiki's "Edit help" links which aren't relevant to non-wikitext content 
Copied from WikiEditor.

Bug: T173715
Change-Id: If3234240ec8530dafd6cf0faaa2fba31e09e1a89
 2017-08-28 14:08:23 +00:00
Volker E e90acf0ab4 Align colors to WikimediaUI color palette 
Aligning colors to overhauled color palette, ensuring WCAG level AA
conformance. Also removing unnecessary `xmlns:xlink` where applicable.

Bug: T160602
Change-Id: I958d1868cd5ff80226af566dfe34885f1932b16e
 2017-03-15 19:31:55 -07:00
Ed Sanders 7fddf35aa8 build: Remove jshint/jscs, add eslint/stylelint 
Change-Id: I4304ca95de7dd395676f40bcbb35a447c039ba21
 2016-12-09 13:31:08 +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