Comment vérifier la version de mon MediaWiki?

Question

Je viens de mettre à jour mon MediaWiki vers la version 1.25.3. Au moins, c'est ce que je pense avoir fait. Tout semble fonctionner correctement. J'ai copié les nouveaux fichiers dans mon dossier, et remplacé le LocalSettings.php avec mon ancien. Également mis à jour certaines extensions et copié mon ancien dossier d'images - juste comme il est dit here. Je n'ai pas encore accès à notre base de données, mais tout semble fonctionner jusqu'à présent.

Mon problème: Je n'ai trouvé aucun moyen fiable d'évaluer la version. Si je navigue vers spécial: version il montre toujours l'ancienne version: 1.23.6

J'ai vérifié les fichiers un peu, et ils semblent être les nouveaux. Y a-t-il un autre moyen de vérifier cela?

Si je tente d'utiliser quelques-unes des nouvelles fonctionnalités, telles que cette nouvelle façon d'inclure les extensions & peaux:

wfLoadExtension('Cite'); 
wfLoadExtension('Gadgets'); 
wfLoadExtension('ImageMap'); 
wfLoadExtension('InputBox'); 

mais ne fonctionnera pas. Je reçois:

Fatal error: Call to undefined function wfLoadExtension() 

Cela pourrait être dû à ma version très personnalisée du Wiki (peau personnalisée, etc.), mais il pourrait aussi être, en raison d'une erreur avec la mise à jour?

Quelqu'un a-t-il une idée de ce qui se passe?

Meilleures salutations, Max

Answer 1

Non qui se soucie personne, mais je réussi à résoudre le problème. Il s'avère que je n'ai pas fait de mise à jour. C'est pourquoi je ne pouvais pas voir le bon numéro de version. Avez-la mise à niveau maintenant, et tout fonctionne comme prévu. Je peux voir ma version en spécial: version