Topic on Extension talk:CodeMirror

User's mistake

Hello there! I have just upgraded our test wiki to Mediawiki 1.31.

In our previous MW version, the CodeMirror extension (3.4.something) broke the browser search Ctrl+F, which should have been solved in the newer extension (4.0.0)

Unfortunately now with MW 1.31 the extension does not work at all. Seems as if there are problems with the WikiEditor (0.5.1), if the CodeMirror extension is installed.

There should be an additional icon in the WikiEditor's toolbar to switch the code highlighting on or off, but there isn't. Worse: If I set the user preference for the extended toolbar, then in the WikiEditor the toolbar disappars at all. And worst: As soon as the CodeMirror extension is installed, I earn an additional malfunction within the user preferences; it refuses switching to another tab: the browser URL tells me e.g. Spezial:Einstellungen#mw-prefsection-rc but the preferance still sticks on the first tab.

Does anyone have any ideas what I am doing wrong here?

That is very strange. Where did you download the 4.0.0 version from? I'd recommend you use the master https://github.com/wikimedia/mediawiki-extensions-CodeMirror as it is the latest, stable version. Try that and let me know if it works for you.

I have to apologize, I've made a mistake yesterday. Don't know what I did wrong. Today I removed the extension and reinstalled it from the ExtensionDistributor (which I thought was the same procedure I performed yesterday). It is still version 4.0.0 but now everything works fine.

For your interest: the master version results in

 PHP Fatal error:  Uncaught ExtensionDependencyError: CodeMirror is not compatible with the current MediaWiki core (version 1.31.1), it requires: >= 1.32.0. 

which seems reasonable ;-)

Sorry for stealing your time!

Oops, sorry about that. :)