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:
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/services/jobrunner/☆11Updated last week
- Github mirror of MediaWiki extension Cargo - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_…☆32Updated 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
- An extension to delay loading of images on MediaWiki pages.☆11Updated 11 months ago
- GitHub mirror of MediaWiki extension Popups - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_…☆45Updated this week
- Directive extension for markdown-it markdown parser.☆16Updated 6 months 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
- A simple, but flexible MediaWiki bot for Node.js☆49Updated 11 months ago
- Github mirror of MediaWiki extension UniversalLanguageSelector - our actual code is hosted with Gerrit (please see https://www.mediawiki.…☆22Updated last week
- OOUI is a modern JavaScript UI library with strong cross-browser support. It is the standard library for MediaWiki and Wikipedia. This is…☆70Updated last week
- A Node.js/browser parser for MediaWiki markup with AST☆42Updated last week
- 🔔 Notifications for MediaWiki. Mirror from https://gerrit.wikimedia.org/g/mediawiki/extensions/Echo. See https://www.mediawiki.org/wiki/…☆26Updated last week
- Some MediaWiki bot examples including wikipedia, wikidata using MediaWiki module of CeJS library. 採用 CeJS MediaWiki 自動化作業用程式庫來製作 MediaWik…☆29Updated last week
- 文言齋 Online IDE for wenyan-lang☆26Updated 2 years ago
- The simple CSS to replicate the GitHub Markdown style (Sukka Ver.)☆15Updated 9 months ago
- banana-i18n - Javascript Internationalization library☆88Updated last year
- A MediaWiki Skin based on the discontinued MpistoSkin2 from Q.Qore☆11Updated 3 months ago
- Github mirror of MediaWiki extension Scribunto - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Develop…☆49Updated last week
- A github app to close issue☆39Updated last week
- Abbreviation (<abbr>) tag plugin for markdown-it markdown parser☆50Updated 2 months ago
- Allows you define terms and abbreviations together with a definition.☆13Updated 2 months ago
- Automatic polyfill service.☆44Updated last year
- Github mirror of MediaWiki extension ConfirmEdit - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Devel…☆17Updated last week
- TypeScript definitions for MediaWiki JS interface☆29Updated last month
- Mirror of https://gerrit.wikimedia.org/g/mediawiki/gadgets/RTRC.☆27Updated last year
- Allows to generate HTML <meta> elements from semantic annotations☆11Updated 2 weeks ago
- 🌐Github mirror of MediaWiki extension Translate - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Devel…☆43Updated last week
- ⚙️ Configuration for Wikimedia Foundation wikis. This is a mirror from https://gerrit.wikimedia.org/g/operations/mediawiki-config/. See …☆88Updated this week
- Github mirror of MediaWiki extension TimedMediaHandler - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki…☆18Updated last week
- github贴吧化计划 | Serverless Forum based on 2012 Tieba design and Github API.☆13Updated 6 years ago