Geïnstalleerde Mediawiki Extensies
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Hier een overzicht van alle extensies/aanpassingen die we op deze wiki gebruiken:
- OpenWetWare Toggle items
- Cite/Cite
- Graphviz
- WikiArticleFeeds
CategoryTree
info: CategoryTree
Insert into your LocalSettingsExtra.php:
$wgUseAjax = true; require_once( 'extensions/CategoryTree/CategoryTree.php' );
ASHighlight
info: ASHighlight Insert into your LocalSettingsExtra.php:
require_once( "{$IP}/extensions/ASHighlight/ashighlight.php" );