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
☆10Updated this week
Related projects ⓘ
Alternatives and complementary repositories for mediawiki-extensions-CodeMirror
- 🔔 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 UniversalLanguageSelector - our actual code is hosted with Gerrit (please see https://www.mediawiki.…☆21Updated this week
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/gadgets/RTRC.☆26Updated 7 months ago
- Mirror from https://gerrit.wikimedia.org/g/mediawiki/extensions/TemplateData. See https://www.mediawiki.org/wiki/Developer_access for con…☆8Updated this week
- 🌐Github mirror of MediaWiki extension Translate - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Devel…☆37Updated this week
- ✨ The Wikibase Design System and home of WMDE-supported component implementations.☆19Updated last year
- Wikimedia OTRS release generator☆12Updated 4 years ago
- banana-i18n - Javascript Internationalization library☆80Updated 2 weeks ago
- A simple, but flexible MediaWiki bot for Node.js☆46Updated last year
- WikimediaUI Base – Wikimedia Foundation basic user interface style values. Mirror from https://gerrit.wikimedia.org/g/wikimedia-ui-base/.…☆12Updated 2 months ago
- 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
- ⚙️ Configuration for Wikimedia Foundation wikis. This is a mirror from https://gerrit.wikimedia.org/g/operations/mediawiki-config/. See …☆80Updated 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 ConfirmEdit - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Devel…☆16Updated 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
- IRC bot that is being used on number of wikimedia channels☆36Updated 10 months ago
- This is a mirror from https://gerrit.wikimedia.org. See https://www.mediawiki.org/wiki/Developer_access for contributing.☆63Updated this week
- 🌐Github mirror of MediaWiki extension ContentTranslation - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/…☆17Updated 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 Flow - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Develope…☆20Updated 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
- GitHub mirror of MediaWiki extension Popups - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_…☆42Updated 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 translatewiki - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for co…☆34Updated 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
- Github mirror of MediaWiki extension CentralAuth - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Devel…☆16Updated this week
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/Thanks☆10Updated this week
- A JavaScript & TypeScript MediaWiki bot framework for Node.js☆49Updated last month
- This repository has been moved to GitLab: https://gitlab.wikimedia.org/repos/ci-tools/patchdemo☆25Updated last year
- Github mirror of MediaWiki extension Cite - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_ac…☆15Updated this week