Talk:MediaWiki 1.40

Timing of release and release notes
I would humbly suggest getting the release out if and only when the release notes are all done and ready to be published as well. And I think it used to be that way until recently. Rebastion2 (talk) 14:44, 1 July 2023 (UTC)


 * I guess this is always the plan. Perhaps some human error was at play. This not done by machines. :) &#91;&#91;kgh&#93;&#93; (talk) 10:58, 10 July 2023 (UTC)

Renameuser extension
It is stated "The RenameUser extension has been merged into MediaWiki core. If you have it installed, you should uninstall it."

Does it mean that I shall delete folder in the extensions category and/or delete wfLoadExtensio ('Renameuser') at Localsetting.php? Fokebox (talk) 09:52, 10 July 2023 (UTC)


 * First you can remove  and following that you can also delete the "Renameuser" folder in your extensions directory. &#91;&#91;kgh&#93;&#93; (talk) 10:56, 10 July 2023 (UTC)