build: version 4.2.15

CHANGELOG.md

@@ -2,7 +2,7 @@
 
 Changelog de SPIP 4.2
 
-## Unreleased
+## 4.2.15 - 2024-07-26
 
 ### Security
 

ecrire/inc_version.php

@@ -443,8 +443,8 @@ $liste_des_authentifications = [
 // pour specifier les versions de SPIP necessaires
 // il faut s'en tenir a un nombre de decimales fixe
 // ex : 2.0.0, 2.0.0-dev, 2.0.0-beta, 2.0.0-beta2
-$spip_version_branche = '4.2.14';
-define('_SPIP_VERSION_ID', 40214);
+$spip_version_branche = '4.2.15';
+define('_SPIP_VERSION_ID', 40215);
 define('_SPIP_EXTRA_VERSION', '');
 
 // cette version dev accepte tous les plugins compatible avec la version ci-dessous

ecrire/paquet.xml

 <paquet
 	prefix="spip"
 	categorie="outil"
-	version="4.2.14"
+	version="4.2.15"
 	etat="stable"
 	compatibilite="];["
 	schema="2022022303"

plugins-dist.json

@@ -45,7 +45,7 @@
         "path": "plugins-dist/forum",
         "source": "https://git.spip.net/spip/forum.git",
         "branch": "3.1",
-        "tag": "v3.1.7"
+        "tag": "v3.1.8"
     },
     "mediabox": {
         "path": "plugins-dist/mediabox",
@@ -111,7 +111,7 @@
         "path": "plugins-dist/textwheel",
         "source": "https://git.spip.net/spip/textwheel.git",
         "branch": "3.1",
-        "tag": "v3.1.6"
+        "tag": "v3.1.7"
     },
     "urls_etendues": {
         "path": "plugins-dist/urls_etendues",