Difference between revisions of "Geïnstalleerde Mediawiki Extensies"
Line 8: | Line 8: | ||
=== CategoryTree === | === CategoryTree === | ||
− | + | link: [http://www.mediawiki.org/wiki/Extension:CategoryTree CategoryTree] | |
[Neem op in je][Insert into your] LocalSettingsExtra.php: | [Neem op in je][Insert into your] LocalSettingsExtra.php: | ||
Line 17: | Line 17: | ||
=== ASHighlight === | === ASHighlight === | ||
− | + | link: [http://www.mediawiki.org/wiki/Extension:ASHighlight ASHighlight] | |
+ | |||
[Neem op in je][Insert into your] LocalSettingsExtra.php: | [Neem op in je][Insert into your] LocalSettingsExtra.php: | ||
require_once( "{$IP}/extensions/ASHighlight/ashighlight.php" ); | require_once( "{$IP}/extensions/ASHighlight/ashighlight.php" ); |
Revision as of 12:09, 18 December 2007
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" );