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
- A simple, but flexible MediaWiki bot for Node.js☆46Updated last year
- Github mirror of MediaWiki extension ConfirmEdit - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Devel…☆16Updated this week
- ⚙️ Configuration for Wikimedia Foundation wikis. This is a mirror from https://gerrit.wikimedia.org/g/operations/mediawiki-config/. See …☆80Updated this week
- Wikimedia OTRS release generator☆12Updated 4 years ago
- Github mirror of MediaWiki extension UniversalLanguageSelector - our actual code is hosted with Gerrit (please see https://www.mediawiki.…☆21Updated this week
- 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 ContentTranslation - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/…☆17Updated this week
- ✨ The Wikibase Design System and home of WMDE-supported component implementations.☆19Updated last year
- A generalized labeling service for MediaWiki☆25Updated 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
- 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
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/Thanks☆10Updated 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
- IRC bot that is being used on number of wikimedia channels☆36Updated 11 months ago
- Github mirror of MediaWiki extension Cargo - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_…☆28Updated 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
- WDQ to SPARQL translator☆8Updated 7 years ago
- 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
- banana-i18n - Javascript Internationalization library☆80Updated 3 weeks ago
- 🌐Github mirror of MediaWiki extension Translate - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Devel…☆37Updated this week
- Some MediaWiki bot examples including wikipedia, wikidata using MediaWiki module of CeJS library. 採用 CeJS MediaWiki 自動化作業用程式庫來製作 MediaWik…☆27Updated this week
- JavaScript style guide for Wikimedia.☆29Updated 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
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/gadgets/RTRC.☆26Updated 7 months ago
- WikimediaUI Base – Wikimedia Foundation basic user interface style values. Mirror from https://gerrit.wikimedia.org/g/wikimedia-ui-base/.…☆12Updated 2 months ago
- This repository has been moved to GitLab: https://gitlab.wikimedia.org/repos/ci-tools/patchdemo☆25Updated last year
- Mirror from https://gerrit.wikimedia.org/g/mediawiki/skins/Vector. Please see https://www.mediawiki.org/wiki/Developer_access for contrib…☆45Updated this week
- A JavaScript & TypeScript MediaWiki bot framework for Node.js☆49Updated last week