Wiki Exportfilter

[Andy_Gerhardt]

Hallo zusammen,

mein Name ist Andy Gerhardt. Ich bin neu in dieser Liste und hier gleich meine erste Frage

Ich verwende Version 4.1 unter Ubuntu und vermisse den Exportfilter für Mediawiki. Auf meiner ehemaligen Windowsinstallation war er vorhanden.
Ist er bei der Linux-Variante nicht enthalten oder muss ich irgendwo Einstellungen vornehmen, dass er angezeigt wird?

Vielen Dank im Voraus und Grüße aus dem Hunsrück

Andy