diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2014-07-31 06:43:27 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2014-07-31 06:43:27 +0200 |
| commit | 027fc6e70f7f9ce8422d4798fb02e67ff271ae4c (patch) | |
| tree | 8163dff509e80309c82051a1095faab9396e280f /includes/DefaultSettings.php | |
| parent | f80b2307028ed4d9231a0bd46496b241dcf4aa5c (diff) | |
Update to MediaWiki 1.22.9
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 4eb979ac..cd631a8b 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.8'; +$wgVersion = '1.22.9'; /** * Name of the site. It must be changed in LocalSettings.php |