Version
From Event-B
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 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.12.0 |
| PHP | 5.1.6 (apache2handler) |
| MySQL | 5.0.95 |
Installed extensions
| Parser hooks | ||
|---|---|---|
| Cite (Version 2008-01-31) | Adds <ref[ name=id]> and <references/> tags, for citations | Ævar Arnfjörð Bjarmason |
| ParserFunctions (Version 1.1.1) | Enhance parser with logical functions | Tim Starling |
| Other | ||
| ConfirmEdit | Simple captcha implementation | Brion Vibber |
| Google Site Search 1.2 | Uses Google to search the wiki, instead of MediaWiki's own search function (not affiliated in any way with Google, Inc.) | Ryan Finnie |
| SimpleAntiSpam (Version 1.0) | Adds a simple spam/bot check to forms | Ryan Schmidt |
| SpamBlacklist | Regex-based anti-spam tool: MediaWiki:Spam-blacklist and MediaWiki:Spam-whitelist | Tim Starling |
| Extension functions | ||
| ceSetup, efReCaptcha, wfCite and wfSetupParserFunctions | ||
| Parser extension tags | ||
| <pre>, <ref> and <references> | ||
| Parser function hooks | ||
| anchorencode, defaultsort, displaytitle, expr, filepath, formatnum, fullurl, fullurle, grammar, if, ifeq, iferror, ifexist, ifexpr, int, language, lc, lcfirst, localurl, localurle, ns, numberofadmins, numberofarticles, numberofedits, numberoffiles, numberofpages, numberofusers, padleft, padright, plural, rel2abs, special, switch, tag, time, timel, titleparts, uc, ucfirst and urlencode | ||
Hooks
| Hook name | Subscribed by |
|---|---|
| APIEditBeforeSave | wfSpamBlacklistFilterAPIEditBeforeSave |
| AbortLogin | (ReCaptcha, confirmUserLogin) |
| AbortNewAccount | (ReCaptcha, confirmUserCreate) |
| ArticleSaveComplete | wfSpamBlacklistArticleSave |
| EditFilter | wfSpamBlacklistValidate and (ReCaptcha, confirmEdit) |
| EditFilterMerged | wfSpamBlacklistFilterMerged |
| EditPage::attemptSave | efSimpleAntiSpamCheck |
| EditPage::showEditForm:fields | efSimpleAntiSpamField |
| LanguageGetMagic | wfParserFunctionsLanguageGetMagic |
| LoginAuthenticateAudit | (ReCaptcha, triggerUserLogin) |
| ParserClearState | (ExtParserFunctions, clearState) and (Cite, clearState) |
| ParserFirstCallInit | (ExtParserFunctions, registerParser) |
| UserCreateForm | (ReCaptcha, injectUserCreate) |
| UserLoginForm | (ReCaptcha, injectUserLogin) |
