MediaWiki modifications
See MediaWiki extensions page about the extensions that are needed. Making modifications to the MediaWiki itself is no longer necessary as the extension system has been introduced. This is great news to us since we don't have to worry about keeping a modified MediaWiki current with the mediawiki proper development tree
Lower priority
GetWiki-like "leech" feature - mirror whole GFDL corpus dynamicallySee LinkedWiki extension and Import WP extension that implement most of this- XML-import for feeds from other GFDL sources Implemented in core MediaWiki ( Special:Import ) since <unknown>
- Automatic coding for different user types: red==unintroduced, green==Verified User and blue==Normal User
- automatic stub generation See HeaderFooter extension, Include Wp extension, MediaWiki/extensions#HideEmptySections and MediaWiki/Labelled Section Transclusion etc.