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:
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