wikimedia / mediawiki-extensions-CodeMirrorLinks
Github mirror of MediaWiki extension CodeMirror - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing
☆13Updated this week
Alternatives and similar repositories for mediawiki-extensions-CodeMirror
Users that are interested in mediawiki-extensions-CodeMirror are comparing it to the libraries listed below
Sorting:
- Github mirror of MediaWiki extension Cargo - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_…☆32Updated this week
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/services/jobrunner/☆11Updated 3 weeks ago
- An extension to delay loading of images on MediaWiki pages.☆11Updated 11 months ago
- OOUI is a modern JavaScript UI library with strong cross-browser support. It is the standard library for MediaWiki and Wikipedia. This is…☆70Updated 3 weeks ago
- Github mirror of MediaWiki extension Math - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_ac…☆25Updated this week
- This is a mirror from https://gerrit.wikimedia.org/g/mediawiki/services/parsoid/. See https://www.mediawiki.org/wiki/Developer_access for…☆170Updated this week
- GitHub mirror of MediaWiki extension Popups - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_…☆45Updated this week
- Automatic polyfill service.☆44Updated last year
- Directive extension for markdown-it markdown parser.☆16Updated 6 months ago
- Github mirror of MediaWiki extension ConfirmEdit - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Devel…☆17Updated this week
- 🔔 Notifications for MediaWiki. Mirror from https://gerrit.wikimedia.org/g/mediawiki/extensions/Echo. See https://www.mediawiki.org/wiki/…☆26Updated this week
- This is a mirror from https://gerrit.wikimedia.org/g/mediawiki/extensions/VisualEditor. See https://www.mediawiki.org/wiki/Developer_acce…☆82Updated this week
- A Node.js/browser parser for MediaWiki markup with AST☆41Updated this week
- banana-i18n - Javascript Internationalization library☆87Updated last year
- Multimarkdown table syntax plugin for markdown-it markdown parser☆156Updated last month
- A simple, but flexible MediaWiki bot for Node.js☆49Updated 10 months ago
- Mirror from https://gerrit.wikimedia.org/g/mediawiki/oauthclient-php. See https://www.mediawiki.org/wiki/Developer_access for contributin…☆11Updated 2 months ago
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/gadgets/RTRC.☆27Updated last year
- Some MediaWiki bot examples including wikipedia, wikidata using MediaWiki module of CeJS library. 採用 CeJS MediaWiki 自動化作業用程式庫來製作 MediaWik…☆29Updated this week
- Mermaid plugin for markdown-it.☆49Updated 7 years ago
- IRC bot that is being used on number of wikimedia channels☆37Updated 2 years ago
- ⚙️ Configuration for Wikimedia Foundation wikis. This is a mirror from https://gerrit.wikimedia.org/g/operations/mediawiki-config/. See …☆88Updated this week
- Diff 2 opened files with ease. Because running `code --diff path1 path2` is too slow.☆42Updated 2 months ago
- <ins> tag plugin for markdown-it markdown parser☆36Updated last month
- Github mirror of MediaWiki extension UniversalLanguageSelector - our actual code is hosted with Gerrit (please see https://www.mediawiki.…☆22Updated this week
- Abbreviation (<abbr>) tag plugin for markdown-it markdown parser☆50Updated last month
- ✏ Standalone rich HTML5 editor, based on ContentEditable. Mirror from https://gerrit.wikimedia.org/g/VisualEditor/VisualEditor. See http…☆208Updated this week
- GitHub mirror of the mediawiki/extensions repository. Development happens at https://gerrit.wikimedia.org. Please see https://www.mediawi…☆43Updated this week
- A github app to close issue☆39Updated last week
- 文言齋 Online IDE for wenyan-lang☆26Updated 2 years ago