From c8b625eba7c7e42096f06d24dbed3c0022f94023 Mon Sep 17 00:00:00 2001
From: Jeroen De Dauw <jeroendedauw@gmail.com>
Date: Mon, 9 Jul 2018 10:36:56 +0200
Subject: [PATCH] 5.5.5 release

---
 Maps.php         | 2 +-
 RELEASE-NOTES.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Maps.php b/Maps.php
index 1246b326e..e595fe71b 100644
--- a/Maps.php
+++ b/Maps.php
@@ -67,7 +67,7 @@
 		);
 	}
 
-	define( 'Maps_VERSION', '5.5.5 alpha' );
+	define( 'Maps_VERSION', '5.5.5' );
 	define( 'SM_VERSION', Maps_VERSION );
 
 	if ( $GLOBALS['egMapsGMaps3Language'] === '' ) {
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
index 84b6f9585..b4ee80fb0 100644
--- a/RELEASE-NOTES.md
+++ b/RELEASE-NOTES.md
@@ -5,7 +5,7 @@ different releases and which versions of PHP and MediaWiki they support, see the
 
 ## Maps 5.5.5
 
-Under development
+Released on July 9th, 2018.
 
 * Fixed `#display_map` parameter `polygons` when using Leaflet
 * Fixed regression introduced in 5.5.3 that broke marker icons in some cases when using `visitedicon`