Add a Sphinx role for MediaWiki Extensions similar to `:api:` for MediaWiki API
Description
Description
Details
Details
Related Changes in Gerrit:
| Subject | Author | Repo | Branch | Lines +/- | |
|---|---|---|---|---|---|
| doc: add :ext: Sphinx role linking to MediaWiki extensions | Xqt | pywikibot/core | master | +14 -18 |
Event Timeline
Comment Actions
Change #1316008 had a related patch set uploaded (by Xqt; author: Xqt):
[pywikibot/core@master] doc: add :ext: Sphinx role linking to MediaWiki extensions
Comment Actions
Change #1316008 merged by jenkins-bot:
[pywikibot/core@master] doc: add :ext: Sphinx role linking to MediaWiki extensions