[spip ↪ 4796-ameliorer-marquage-deprecated] fix #4796 Amélioration du marquage @deprecated

spip/spip

Par JamesRezo, le 24 mai 2021 à 16h27min :

fix #4796 Amélioration du marquage @deprecated

Modifié
ecrire/action/super_cron.php
ecrire/inc/autoriser.php
ecrire/inc/chercher_logo.php
ecrire/inc/cvt_multietapes.php
ecrire/inc/exporter_csv.php
ecrire/iterateur/pour.php
ecrire/public/criteres.php

Détails : https://git.spip.net/spip/spip/commit/0b716263e0d1e73816efb459cdae196d1a6d27e9