I wanted to create a discussion to see if anyone else has ever used and/or is familiar with this extension. I used to help maintain the wiki (minorly) for Barotrauma and as such was using templates quite vigorously, as they store their data on their wiki in a much different way than we do. Namely using the Cargo extension, which I have mixed feelings about. But one extension that they have that I have found extremely useful in the past is called CodeMirror.
https://www.mediawiki.org/wiki/Extension:CodeMirror
This extension provides syntax highlighting for WikiCode, and while it's mostly quality of life, it is helpful. If anyone has used this before and would like to chime in feel free to do so. I bring it up as a simple ask for if we could implement this extension into the mediawiki server.
First forum post, yay!
