Extension talk:WikiTeX

question on instillations

the README file says this:

1.  Installation

     1.   Copy ../wikitex to MEDIAWIKI/extensions.

     2.   Copy config/default.php to config/local.php;  edit
          local.php.

     3.   Add the following line to LocalSettings.php:

          require_once("$IP/extensions/wikitex/main.php");

but what am i suppose to edit in local.php? Bud0011 06:05, 20 June 2009 (UTC)