spip-contrib-extensions/boussole
Par Eric Lupinacci, le 10 février 2022 à 11h50min :
Développement de l’api des serveurs de boussole et utilisation dans le code.
Modifié
formulaires/declarer_serveur_boussole.php
inc/boussole.php
inc/boussole_acquerir.php
inc/serveur_boussole.php