Main Page

From publications
Revision as of 22:45, 21 February 2010 by imported>Ralph (→‎Getting started)

Useful Links

Consult the User's Guide for information on using the wiki software and this Markup specification.

Getting started with mediawiki

How to delete a wiki page

To delete a page, a delete token is required. This token is equal to the edit token and the same for all pages, but changes at every login. A delete token can be obtained if you are a sysop.

shortcuts

mediaWiki configuration

This media wiki has been customised to:

  1. $wgExtraNamespaces[100] = "udig";$wgExtraNamespaces[101] = "udig_talk"; # include the name space udig: (see Custom namespaces)
  2. $wgStrictFileExtensions = false; # permit file uploads of any type except restricted MIME types (see Configuring File Uploads)
  3. $wgLogo = "/mediawiki/skins/common/images/udig.jpg"; # set the logo path