Transfert de la config du token gitea de plugin gitea_maintenance vers contrib maintenance.

formulaires/configurer_contrib.html

@@ -15,6 +15,12 @@
 			data=#ENV{_secteur_possibles},
 		})]
 
+		[(#SAISIE{input, token,
+			label=<:contrib:token_api_gitea_label:>,
+			obligatoire=oui,
+			size=40,
+			maxlength=40
+		})]
 		</div>
 
 		<p class="boutons">

formulaires/configurer_contrib.php

@@ -40,5 +40,9 @@ function formulaires_configurer_contrib_charger() {
 	include_spip('inc/config');
 	$valeurs['secteurs'] = lire_config('contrib/secteurs', array());
 
+	// Récupération du token
+	include_spip('inc/config');
+	$valeurs['token'] = lire_config('contrib/token', array());
+
 	return $valeurs;
 }

lang/contrib_fr.php

@@ -45,6 +45,7 @@ $GLOBALS[$GLOBALS['idx_lang']] = array(
 	'rubrique_plugin_synchroniser_texte_label'    => 'Synchroniser les rubriques-plugin',
 
 	// T
+	'token_api_gitea_label'                 => 'Token d\'autorisation d\'accès à l\'API Gitea',
 	'type_controle_article_prepa_nom'       => 'Articles en cours de rédaction',
 	'type_controle_article_prepa_desc'      => 'Les articles sont classés par année, des plus anciens aux plus récents.',
 	'type_controle_plugin_affectation_nom'  => 'Affectations avec plugin invalide',

paquet.xml

@@ -3,7 +3,7 @@
 	categorie="outil"
 	version="0.2.0"
 	etat="test"
-	compatibilite="[3.3.0-dev;3.3.*]"
+	compatibilite="]3.2.999;4.0.*]"
 	logo="contrib_logo-64.png"
 	schema="1"
 >