10.2.0 release

INSTALL.md

@@ -26,17 +26,24 @@ minimum requirements are indicated in bold. For a detailed list of changes, see
 	</tr>
 	<tr>
 		<th>11.0.x</th>
-		<td><strong>8.0</strong> - 8.2</td>
-		<td><strong>1.39</strong> - 1.40</td>
+		<td><strong>8.0</strong> - 8.3</td>
+		<td><strong>1.39</strong> - 1.43</td>
 		<td>4.x</td>
 		<td>Future version</td>
 	</tr>
+	<tr>
+		<th>10.2.x</th>
+		<td>7.4 - 8.3</td>
+		<td>1.35 - 1.42</td>
+		<td>3.2 - 4.1</td>
+		<td><strong>Stable release</strong></td>
+	</tr>
 	<tr>
 		<th>10.1.x</th>
 		<td>7.4 - 8.2</td>
 		<td>1.35 - 1.40</td>
 		<td>3.2 - 4.1</td>
-		<td><strong>Stable release</strong></td>
+		<td>Obsolete release, no support</td>
 	</tr>
 	<tr>
 		<th>10.0.x</th>

RELEASE-NOTES.md

@@ -5,10 +5,11 @@ different releases and which versions of PHP and MediaWiki they support, see the
 
 ## Maps 10.2.0
 
-Release TBD
+Released on May 13th, 2024.
 
 * Added additional Leaflet layer options by updating the Leaflet Providers library
-* Fixed compatibility with VisualEditor on MediaWiki 1.39 and above 
+* Fixed compatibility with VisualEditor on MediaWiki 1.39 and above
+* Fixed display of GeoJSON pages on MediaWiki 1.39 and above
 
 ## Maps 10.1.2