[spip-cli] fix : incompatibilité avec PHP 8.1 et version actuel de (...)

spip-contrib-outils/spip-cli

Par RealET, le 15 juin 2022 à 13h15min :

fix: incompatibilité avec PHP 8.1 et version actuel de spip-cli

refs #49

Modifié
composer.lock
src/Mutualisation/Application.php
src/Mutualisation/Command/Batch.php

Détails : https://git.spip.net/spip-contrib-outils/spip-cli/commit/94195a9613a67137f330f37be988ac2d9737abc7