Extension talk:WikiTeX
Latest comment: 15 years ago by Bud0011 in topic question on instillations
question on instillations
editthe 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)