Views
Toolbox
Version
From MCRL2
License
This wiki is powered by MediaWiki, copyright (C) 2001-2008 Magnus Manske, Brion Vibber, Lee Daniel Crocker, Tim Starling, Erik Möller, Gabriel Wicke, Ævar Arnfjörð Bjarmason, Niklas Laxström, Domas Mituzas, Rob Church, Yuri Astrakhan, Aryeh Gregor, Aaron Schulz and others.
MediaWiki is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
MediaWiki is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA or read it online.
Installed software
| Product | Version |
|---|---|
| MediaWiki | 1.13.2 |
| PHP | 5.2.6 (apache2handler) |
| MySQL | 5.0.45-log |
Installed extensions
| Parser hooks | ||
|---|---|---|
| Embedded Widgets | Display Embedded Widgets | Andy Armstrong |
| Hierarchy (Version 1.1.0) | Creates a hierarchical page navigation structure | Fernando Correia |
| SyntaxHighlight (Version 1.0.8) | Provides syntax highlighting <syntaxhighlight> using GeSHi - Generic Syntax Highlighter |
Brion Vibber, Niklas Laxström, Rob Church and Tim Starling |
| Other | ||
| ImageLink (Version 1.7.1) | Provides a clickable image link | Jean-Lou Dupont |
| Lockdown | per-namespace group permissions | Daniel Kinzler |
| StubManager (Version 1.3.2) | Provides stubbing facility for extensions handling rare events. Extensions registered: ImageLink. |
Jean-Lou Dupont |
| Wiki2LaTeX | Converts an article to LaTeX and PDF. | Hans-Georg Kluge |
| Extension functions | ||
| wfHierarchyExtension, wfHierarchyParserFunction_Setup, wfWidget, (, setup), (Wiki2LaTeXTags, Setup) and (Wiki2LaTeXHelper, Setup) | ||
| Parser extension tags | ||
| <chapref>, <index>, <label>, <latex>, <latexfile>, <latexpage>, <newpage>, <noindent>, <pageref>, <pre>, <rawtex>, <source>, <syntaxhighlight>, <templatevar> and <widget> | ||
| Parser function hooks | ||
| anchorencode, defaultsort, displaytitle, filepath, formatnum, fullurl, fullurle, grammar, hierarchy-bottom, hierarchy-top, iconlink, imagelink, imagelink_raw, img, int, language, lc, lcfirst, localurl, localurle, ns, numberofadmins, numberofarticles, numberofedits, numberoffiles, numberofpages, numberofusers, padleft, padright, pagesincategory, pagesize, plural, special, tag, uc, ucfirst and urlencode | ||
Copyright © 2005-2012 Technische Universiteit Eindhoven.
