diff options
| author | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-05-01 15:30:47 -0400 |
|---|---|---|
| committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-05-01 15:30:47 -0400 |
| commit | 7e85254903c7c0cb49e381f16b18441ea7b058cc (patch) | |
| tree | b22328fcf4c8408fc25a7acb73d1cb1089cd82ac /includes/DefaultSettings.php | |
| parent | 1de335ad3f395ca6861085393ba366a9e3fb4a0d (diff) | |
| parent | 1a365e77dfb8825136626202b1df462731b42060 (diff) | |
Merge commit '1a365e'
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 010c471c..75ed529e 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -75,7 +75,7 @@ $wgConfigRegistry = array( * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.25.1'; +$wgVersion = '1.25.2'; /** * Name of the site. It must be changed in LocalSettings.php |