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)