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 13: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" );
