Pinned Loading

1. mediawiki-extensions-StubUserWikiAuth mediawiki-extensions-StubUserWikiAuth Public

   MediaWiki extension for authenticating an account against a remote wiki, when the user row is a stub

   PHP 4 2

2. mediawiki-extensions-WikiDexFileRepository mediawiki-extensions-WikiDexFileRepository Public

   Adds virtual paths to files hosted on MediaWiki making them versioned, solving the problem of cached images once you upload a new one

   PHP 5

3. mediawiki-extensions-SaneCase mediawiki-extensions-SaneCase Public

   Automatic correct some case mistakes.

   PHP 2 3

4. wikimedia/mediawiki-tools-grabbers wikimedia/mediawiki-tools-grabbers Public

   Github mirror of MediaWiki tool mediawiki/tools/grabbers - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing

   PHP 12 6

5. wikimedia/mediawiki-extensions-LinkSuggest wikimedia/mediawiki-extensions-LinkSuggest Public

   Github mirror of MediaWiki extension LinkSuggest - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)

   JavaScript 3 2

6. mediawiki-extensions-TabberTransclude mediawiki-extensions-TabberTransclude Public

   Fork of TabberNeue extension. Formats contents in tabs and allows transclusion of other pages in tabs with lazy loading

   JavaScript 1