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 last week
- Github mirror of MediaWiki extension UniversalLanguageSelector - our actual code is hosted with Gerrit (please see https://www.mediawiki.…☆22Updated this week
- OOUI is a modern JavaScript UI library with strong cross-browser support. It is the standard library for MediaWiki and Wikipedia. This is…☆69Updated last 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/services/parsoid/. See https://www.mediawiki.org/wiki/Developer_access for…☆169Updated this week
- banana-i18n - Javascript Internationalization library☆87Updated 11 months ago
- A simple, but flexible MediaWiki bot for Node.js☆49Updated 8 months ago
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/gadgets/RTRC.☆27Updated last year
- Github mirror of MediaWiki extension ConfirmEdit - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Devel…☆17Updated this week
- GitHub mirror of the mediawiki/extensions repository. Development happens at https://gerrit.wikimedia.org. Please see https://www.mediawi…☆42Updated this week
- ⚙️ Configuration for Wikimedia Foundation wikis. This is a mirror from https://gerrit.wikimedia.org/g/operations/mediawiki-config/. See …☆88Updated last week
- GitHub mirror of MediaWiki extension Popups - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_…☆45Updated last week
- Some MediaWiki bot examples including wikipedia, wikidata using MediaWiki module of CeJS library. 採用 CeJS MediaWiki 自動化作業用程式庫來製作 MediaWik…☆29Updated last week
- Github mirror of MediaWiki extension Cite - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_ac…☆18Updated this week
- 🌐Github mirror of MediaWiki extension Translate - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Devel…☆42Updated this week
- Allows to generate HTML <meta> elements from semantic annotations☆11Updated this week
- 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
- JavaScript style guide for Wikimedia.☆33Updated this week
- ✏ Standalone rich HTML5 editor, based on ContentEditable. Mirror from https://gerrit.wikimedia.org/g/VisualEditor/VisualEditor. See http…☆206Updated this week
- This is a mirror from https://gerrit.wikimedia.org. See https://www.mediawiki.org/wiki/Developer_access for contributing.☆65Updated this week
- A Node.js/browser parser for MediaWiki markup with AST☆39Updated 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
- Language data and utilities☆18Updated this week
- Allows you define terms and abbreviations together with a definition.☆13Updated last week
- A github app to close issue☆39Updated this week
- 💬 Github mirror of MediaWiki extension Flow - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Develope…☆22Updated last week
- 文言齋 Online IDE for wenyan-lang☆26Updated 2 years ago
- Github mirror of translatewiki - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for co…☆34Updated last week
- Github mirror of MediaWiki extension CentralNotice - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Dev…☆15Updated this week