From 08a9a018a9a6b8d1d76c1cd64921d6dafc91ed85 Mon Sep 17 00:00:00 2001
From: Jeroen De Dauw <jeroendedauw@gmail.com>
Date: Wed, 9 Feb 2022 19:12:08 +0100
Subject: [PATCH] 9.0.5 release

---
 INSTALL.md       | 2 +-
 RELEASE-NOTES.md | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index 2d11a2e9..92dab763 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -26,7 +26,7 @@ minimum requirements are indicated in bold. For a detailed list of changes, see
 	</tr>
 	<tr>
 		<th>9.0.x</th>
-		<td><strong>7.4</strong> - 8.0+</td>
+		<td><strong>7.4</strong> - 8.1+</td>
 		<td>1.35 - 1.38+</td>
 		<td>3.2 - 4.0</td>
 		<td><strong>Stable release</strong></td>
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
index db6b4304..ea2c21ab 100644
--- a/RELEASE-NOTES.md
+++ b/RELEASE-NOTES.md
@@ -5,7 +5,9 @@ different releases and which versions of PHP and MediaWiki they support, see the
 
 ## Maps 9.0.5
 
-*
+Released on February 9th, 2022.
+
+* Fixed PHP 8.1+ compatibility issue
 
 ## Maps 9.0.4