MediaWiki modifications: Difference between revisions

    (modified the article to reflect the introduction of MediaWiki extensions, so we don't need to hack MediaWiki proper)
    Line 18: Line 18:
    *[[Publish Wiki]]
    *[[Publish Wiki]]
    *[[Verified User]]
    *[[Verified User]]
    [[Category:MediaWiki]]