At the moment I’m using version 4.4.7.2 for Microsoft Windows. I’ve previously used 5.0 but found the Mediawiki export option there added a whole bunch of unnecessary HTML junk to the export.
However, now I find the export option isn’t available at all in 4.4.7.2. I’ve tried uninstalling and reinstalling it twice but it’s still not there. I’ve checked the extension manager and it reports the extension, which came with LibreOffice, is installed.
Why can’t I export as Wikitext anymore? I really need that export option.