Geïnstalleerde Mediawiki Extensies
Hier een overzicht van alle extensies/aanpassingen die we op deze wiki gebruiken:
Contents
- 1 ASHighlight
- 2 Usage
- 2.1 CategoryTree
- 2.2 Cite
- 2.3 Collapsible tables
- 2.4 FCKeditor
- 2.5 Graphviz.php
- 2.6 LatexDoc
- 2.7 latexmk
- 2.8 OpenID
- 2.9 OpenWetWare:Toggle
- 2.10 PdfExport
- 2.11 RawHTML.php
- 2.12 Renameuser
- 2.13 SecureLoginPage.php
- 2.14 SpecialImportUsers.php
- 2.15 SpecialNoCategoryContributions.php
- 2.16 WhoIsWatching
- 2.17 WikiArticleFeeds
ASHighlight
link: ASHighlight
Insert into your LocalSettingsExtra.php:
require_once( "{$IP}/extensions/ASHighlight/ashighlight.php" );
Usage
Use a 'source' HTML-style tag in your wiki code, and give it a 'lang' attribute that matches the standard file extension for your source code, eg 'c' for C code, 'cpp' for C++ code, 'py' for Python, etc. For example:
What it looks like | What you type |
---|---|
while(1){
i++;
}
|
<source lang="c"> while(1){ i++; } </source> |
CategoryTree
link: CategoryTree
Insert into your LocalSettingsExtra.php:
$wgUseAjax = true; require_once( 'extensions/CategoryTree/CategoryTree.php' );
Cite
link: Cite/Cite
Insert into your LocalSettingsExtra.php:
require_once( $IP.'/extensions/Cite/Cite.php' );
Collapsible tables
link: [1]
FCKeditor
Graphviz.php
LatexDoc
latexmk
OpenID
OpenWetWare:Toggle
link: Toggle items
PdfExport
RawHTML.php
Renameuser
SecureLoginPage.php
SpecialImportUsers.php
SpecialNoCategoryContributions.php
WhoIsWatching
WikiArticleFeeds
link: WikiArticleFeeds