Geïnstalleerde Mediawiki Extensies
Jump to navigation
Jump to search
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" );