Topic on Extension talk:CodeMirror

At the third screenshot it shows that the extension works with Wikieditor not active. Work this actually? Could you name me which Editor is used?

Thanks --Gunnar.offel (talk) 11:21, 1 November 2019 (UTC)

This was the old 2006 editor which was removed from MediaWiki a few years ago.

I've replaced the first image with an up-to-date version, but I don't know how to trigger the popup. @NKohli (WMF), do you remember how?

@Jdforrester (WMF) We did away with the popup when we took the feature out of beta because it'd have triggered a popup for every user. Thanks for updating the image.