Thread:Extension talk:WikiEditor/Editor disappeared after upgrading wiki to latest version