TerraSwarm Sponsors and Researchers who attend conferences FAQ Information about the Wiki facility |
|
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?