Html 检查我的MediaWiki版本的方法？

我刚刚将MediaWiki更新为1.25.3版。至少我想我是这么做的。一切似乎都很好。我将新文件复制到我的文件夹中，并用旧文件替换LocalSettings.php。还更新了一些扩展并复制了我的旧图像文件夹-就像上面说的那样。我还没有访问我们的数据库，但到目前为止一切似乎都正常

我的问题是：我没有找到任何可靠的方法来评估这个版本。如果导航到special:version，它仍然显示旧版本：1.23.6

我核实了一些文件，它们似乎是新的。我还有别的办法可以查一下吗

如果我尝试使用一些较新的功能，例如这种包含扩展和皮肤的新方法：

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

但是它不起作用。我得到：

Fatal error: Call to undefined function wfLoadExtension()

这可能是由于我的高度自定义版本的维基（自定义皮肤等），但也可能是，因为一个错误的更新

有人知道发生了什么事吗

致以最良好的祝愿，

---

Max

没有人在乎，但我设法解决了这个问题。事实证明，我实际上并没有进行更新。这就是为什么我看不到正确的版本号。现在升级了，一切正常

我可以在特别版上看到我的版本