wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-13 17:27:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources
History
Pavel Astakhov c9b4aa65fd Refactor the Integration with other extensions (v 4.0.0) 
This patch makes initialization easier and cheaper.

Since only the PhpTags extension uses the CodeMirrorGetAdditionalResources
  hook it was removed. Instead, the CodeMirrorPluginModules and
  CodeMirrorTagModes properties are used in extension.json file.

This patch adds ext.CodeMirror.lib.mode.php module for the PhpTags
  extension (with dependences). In CodeMirror there are a lot of modes
  they will be registered on request (if they will be requered for
  extensions).

Examples of integration:
* Cite: I1bf156fa813af4d5f891619f692047bbdb8a1a86
* PhpTags: Ie339f0475e63885e603defaee2cdcccd6a95fafc

Bug: T163238
Change-Id: Idb7a1a5769a1047ef2f7cd25a7152f73a6613225
2017-05-04 21:20:21 +01:00
..
images Cleanup and use SVG icons 2017-03-27 02:59:13 +00:00
lib/codemirror Update CodeMirror to 5.25.0 2017-03-21 15:05:52 +00:00
mode/mediawiki Refactor the Integration with other extensions (v 4.0.0) 2017-05-04 21:20:21 +01:00
ext.CodeMirror.js Refactor the Integration with other extensions (v 4.0.0) 2017-05-04 21:20:21 +01:00
ext.CodeMirror.less CSS hack for ext.wikiEditor module no longer needed 2017-04-20 13:59:42 -07:00
ext.CodeMirror.loader.js Refactor the Integration with other extensions (v 4.0.0) 2017-05-04 21:20:21 +01:00