wikimedia / mediawiki-extensions-CodeMirror
Github mirror of MediaWiki extension CodeMirror - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing
☆11Updated 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
- 🔔 Notifications for MediaWiki. Mirror from https://gerrit.wikimedia.org/g/mediawiki/extensions/Echo. See https://www.mediawiki.org/wiki/…☆25Updated this week
- Github mirror of MediaWiki extension Cite - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_ac…☆16Updated this week
- Github mirror of MediaWiki extension UniversalLanguageSelector - our actual code is hosted with Gerrit (please see https://www.mediawiki.…☆21Updated this week
- Github mirror of MediaWiki extension ConfirmEdit - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Devel…☆16Updated this week
- Power for object oriented javascript libraries. Mirror from https://gerrit.wikimedia.org/g/oojs/core. See https://www.mediawiki.org/wiki/…☆17Updated last month
- Github mirror of MediaWiki extension Math - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_ac…☆23Updated this week
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/services/jobrunner/☆10Updated this week
- A simple, but flexible MediaWiki bot for Node.js☆47Updated last year
- Mirror from https://gerrit.wikimedia.org/g/mediawiki/extensions/TemplateData. See https://www.mediawiki.org/wiki/Developer_access for con…☆8Updated this week
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/Thanks☆10Updated this week
- Github mirror of MediaWiki extension CentralNotice - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Dev…☆14Updated this week
- ⚙️ Configuration for Wikimedia Foundation wikis. This is a mirror from https://gerrit.wikimedia.org/g/operations/mediawiki-config/. See …☆81Updated this week
- 🌐Github mirror of MediaWiki extension ContentTranslation - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/…☆17Updated this week
- Github mirror of MediaWiki extension TimedMediaHandler - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki…☆17Updated this week
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/WikiEditor. See https://www.mediawiki.org/wiki/Developer_access for contrib…☆20Updated this week
- GitHub mirror of MediaWiki extension Popups - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_…☆42Updated this week
- Github mirror of mediawiki/skins - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for …☆10Updated this week
- This is a mirror from https://gerrit.wikimedia.org/g/mediawiki/extensions/VisualEditor. See https://www.mediawiki.org/wiki/Developer_acce…☆78Updated this week
- Github mirror of MediaWiki extension Scribunto - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Develop…☆44Updated 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…☆63Updated this week
- Github mirror of MediaWiki extension Graph - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_…☆12Updated this week
- 💬 Github mirror of MediaWiki extension Flow - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Develope…☆21Updated this week
- A generalized labeling service for MediaWiki☆25Updated 3 months ago
- Wikimedia OTRS release generator☆12Updated 4 years ago
- IRC bot that is being used on number of wikimedia channels☆36Updated last year
- WDQ to SPARQL translator☆9Updated 7 years ago
- Allows to generate HTML <meta> elements from semantic annotations☆12Updated last week
- JavaScript style guide for Wikimedia.☆29Updated last week
- This is a mirror from https://gerrit.wikimedia.org. See https://www.mediawiki.org/wiki/Developer_access for contributing.☆63Updated this week
- Mirror of https://gerrit.wikimedia.org/g/labs/tools/intuition☆36Updated this week