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 dynamically
- XML-import for feeds from other GFDL sources
- Automatic coding for different user types: red==unintroduced, green==Verified User and blue==Normal User
- automatic stub generation