Impossible de désactiver les révisions sur tous les objets

Dans https://git.spip.net/spip/revisions/-/blob/master/formulaires/configurer_revisions_objets.php?ref_type=heads#L29 si on décoche tous les objets on obtient _request('objets_versions') qui vaut null et la configuration n'est pas prise en compte.

Signalé sur https://discuter.spip.net/t/comment-supprimer-les-revisions/176884

Proposition de patch :

diff --git a/formulaires/configurer_revisions_objets.php b/formulaires/configurer_revisions_objets.php
index f1ff933..347eec8 100644
--- a/formulaires/configurer_revisions_objets.php
+++ b/formulaires/configurer_revisions_objets.php
@@ -26,7 +26,7 @@ function formulaires_configurer_revisions_objets_charger_dist() {
 
 function formulaires_configurer_revisions_objets_traiter_dist() {
 	include_spip('inc/config');
-	ecrire_config('objets_versions/', _request('objets_versions'));
+	ecrire_config('objets_versions/', _request('objets_versions') ?? []);
 
 	return ['message_ok' => _T('config_info_enregistree')];
 }