Geïnstalleerde Mediawiki Extensies

From Cncz
Revision as of 12:59, 18 December 2007 by Remcoa (talk | contribs)
Jump to: navigation, search

Hier een overzicht van alle extensies/aanpassingen die we op deze wiki gebruiken:

CategoryTree

CategoryTree

Install:

Insert into your LocalSettingsExtra.php:

$wgUseAjax = true;
require_once( 'extensions/CategoryTree/CategoryTree.php' );

ASHighlight

Insert into your LocalSettingsExtra.php:

require_once( "{$IP}/extensions/ASHighlight/ashighlight.php" );