Gandi.net Groups

J'ai installé MediaWiki 1.11 sans problème. Puis j’ai voulu renommer
le fichier d'install de "mediawiki-1.11" en "mediawiki". Et là,
patatrac, plus rien ne marche (j'aivais modifié le fichier de
configuration comme indiqué dans les instructions MediaWiki). J’ai
essayé de trouvé une solution, en vain. De guerre lasse, j’ai
laissé le "-1.11" dans le répertoire.

Ce soir, j'ai essayé d'installer Mantis. Là encore, j'ai procédé à
une (simulation d’)installation. J'ai ensuite supprimé les
répertoires et supprimé toutes les tables (pas la base de données
elle-même)  Puis j'ai renommé "mantis-1.1.1" en "mantis". Même
problème. Et en renommant en "mantis-1.1.1", tout remarche. À
l'exception du fait que les tables n'ont pas été créés, car je ne
peux plus réinstaller, je tombe directement sur la page de login, comme
si je n'avais jamais rien supprimé (sauf les tables). Même redémarrer
le serveur ne change rien.

J'ai bien sûr essayé divers rafraïchissments forcés, ait même
changé de navigateur, rien n’y fait. Je soupçonne donc un cache
serveur trop puissant (je suis en Gandi AI). Et j’ignore comment vider
un tel cache.

1. Pensez-vous que j'ai soulevé un bug (ou approchant)?
2. Avez-vous une idée de comment m'aider ?

Merci.

Mise à jour : redémarrer le serveur règle le problème. Je pense que
redémarrer Apache suffirait, d’ailleurs (mais je suis en Gandi AI).
Mais c’est déjà trop, à mon humble avis. Un lien « vider le cache
serveur » pourrait être opportun.