diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2017-04-30 19:03:28 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2017-04-30 19:03:28 +0000 |
| commit | 798ceea8b6c75d241f8469873ea900787383c7b4 (patch) | |
| tree | f9e314a4ac544985317835f0ff74020f7d70ad43 | |
| parent | 2e917d9187b7f341e8b39a3bde5e146a17dcf29d (diff) | |
| parent | 0e4668e377a459c8c767c13c7cc4ffac5154c311 (diff) | |
Merge "Bump version number for new point release" into REL1_271.27.3
| -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 b63bcad45cc0..429238711705 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -75,7 +75,7 @@ $wgConfigRegistry = [ * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.27.2'; +$wgVersion = '1.27.3'; /** * Name of the site. It must be changed in LocalSettings.php |