diff options
author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2017-04-30 19:03:14 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2017-04-30 19:03:14 +0000 |
commit | 438c3d6c41799cb2da58946a6d743d36c6ac3e33 (patch) | |
tree | 25ef177af0de6e4928e4a965023710000d27addf | |
parent | d472f96e8a7988fe6807457d0bd387056ec66ef2 (diff) | |
parent | f928f0269ca7f006a38c08b5212358e6f3fb4abd (diff) |
Merge "Bump version to 1.28.2 for new point release" into REL1_281.28.2
-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 df0d63fdce91..3435f0b82d05 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -75,7 +75,7 @@ $wgConfigRegistry = [ * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.28.1'; +$wgVersion = '1.28.2'; /** * Name of the site. It must be changed in LocalSettings.php |