Geïnstalleerde Mediawiki Extensies

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

• OpenWetWare Toggle items
• Cite/Cite
• Graphviz
• WikiArticleFeeds

CategoryTree

link: CategoryTree

Insert into your LocalSettingsExtra.php:

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

ASHighlight

link: ASHighlight

Insert into your LocalSettingsExtra.php:

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