Editing 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.

MediaWiki has gained powerful features along the years since this R&D wiki was founded in 2003-03-10. These include: extra [[namespaces]], [[templates]] that will be used heavily to insert masses of [[categories]] onto articles, [[extensions]] and [[widgets]]

===Lower priority===
#<s>[[GetWiki]]-like "leech" feature - mirror whole [[GFDL corpus]] dynamically</s> - <font color="Green">[✔]</font> - '''See [[MediaWiki/extensions#LinkedWiki|LinkedWiki extension]] and [[MediaWiki/Extensions#Import WP|Import WP extension]] that implement most of this'''
#XML-import for feeds from other [[GFDL]] sources ''' <font color="Green"> - [✔] - </font> Implemented in core [[MediaWiki]] ( [[Special:Import]] ) since <unknown>
#Automatic coding for different user types: <font color="red">red==unintroduced</font>, <font color="green">green==Verified User</font> and <font color="blue">blue==Normal User</font> 
#[[automatic stub generation]] ''' <font color="Green"> - [✔] - </font>Implemented partially by [[MediaWiki/extensions#HeaderFooter|HeaderFooter extension]], [[MediaWiki/extensions#Include WP|Include Wp extension]], [[MediaWiki/extensions#HideEmptySections|HideEmptySections extension]] and [[MediaWiki/extensions|Labelled Section Transclusion]]''' etc.

===See also:===
*[[MediaWiki extensions]]
*[[Research Wiki]]
*[[Publish Wiki]]
*[[Verified User]]

[[Category:Deprecated]]
[[Category:MediaWiki]]