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.