#2397 : lorsque la globale $help_server change, il faut recharger le cache de...

#2397 : lorsque la globale $help_server change, il faut recharger le cache de l'aide puisque la source a changée (plugin ou squelette qui ajoute son aide)