TerraSwarm Sponsors and Researchers who attend conferences
FAQ
Information about the Wiki facility
Previous section  |  This section  |  Next section
Previous question  |  This question  |  Next question

How do I change the title of the wiki?
Christopher Brooks, 30 Jan 2013
Last updated: 30 Jan 2013

To change the title, edit the wiki page and use

(:title This is the title:)

Another way is to use CVS to edit wiki/local/pgcust.php and add or edit $WikiTitle:

<?php if (!defined('PmWiki')) exit();
$WikiTitle = "DARPA Grand Challenge 3 (DGC3)";
?>

Once you make your changes, check them in and then click on the CVS Update link on the main page.

For more information, see How do I edit pages in a group with the "CVS Authoring" option?