diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2014-08-28 09:08:37 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2014-08-28 09:08:37 +0200 |
| commit | 8ca31c4bfc61c8d99eda1cee307ff4de22897708 (patch) | |
| tree | f6eaa6b4447bbfd26ad61fdb2b66b38bc17a5f23 /includes/DefaultSettings.php | |
| parent | 027fc6e70f7f9ce8422d4798fb02e67ff271ae4c (diff) | |
Update to MediaWiki 1.22.10
Diffstat (limited to 'includes/DefaultSettings.php')
| -rw-r--r-- | includes/DefaultSettings.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index cd631a8b..b2c12001 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -63,7 +63,7 @@ $wgConf = new SiteConfiguration; * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.22.9'; +$wgVersion = '1.22.10'; /** * Name of the site. It must be changed in LocalSettings.php |