www/plugins-dist/aide/aide_options.php

   1 <?php
   2
   3 /**
   4  * Définition du serveur d'aide par défaut
   5  *
   6  * @package SPIP\Aide\Options
   7  */
   8
   9 $GLOBALS['help_server'] = array('https://www.spip.net/aide');