set mediawiki version number
authordaniel <daniel.kinzler@wikimedia.de>
Fri, 5 Oct 2012 13:03:24 +0000 (15:03 +0200)
committerdaniel <daniel.kinzler@wikimedia.de>
Fri, 5 Oct 2012 13:03:24 +0000 (15:03 +0200)
commit7db9491d8969a60c9f9e4d93f8bac1bd4184f0d5
tree046747a0a179e46d9772cf694cbfa14a94d1c5b8
parent601b5c99594e36ad6a6f5ffe66750ee0b88c420e
set mediawiki version number

Change-Id: I3479776bd3bb25c4d75d07e62ede2ad989025c5b
19 files changed:
includes/Article.php
includes/EditPage.php
includes/Import.php
includes/Revision.php
includes/Title.php
includes/WikiPage.php
includes/content/AbstractContent.php
includes/content/Content.php
includes/content/ContentHandler.php
includes/content/CssContent.php
includes/content/JavaScriptContent.php
includes/content/MessageContent.php
includes/content/TextContent.php
includes/content/WikitextContent.php
includes/diff/DifferenceEngine.php
includes/installer/Ibm_db2Updater.php
includes/installer/MysqlUpdater.php
includes/installer/OracleUpdater.php
includes/installer/SqliteUpdater.php