spip-contrib-extensions/boussole
Par Eric Lupinacci, le 10 février 2022 à 16h20min :
Un lot de PSR et de PHPDoc
Modifié
action/client_synchroniser_site.php
boussole_administrations.php
boussole_fonctions.php
ezcache/boussole.php
formulaires/ajouter_boussole.php
formulaires/declarer_serveur_boussole.php
formulaires/editer_boussole.php
formulaires/importer_boussole.php
inc/boussole.php
inc/boussole_acquerir.php
inc/boussole_phraser.php
inc/erreur_boussole.php
inc/iconifier_site.php
inc/serveur_boussole.php