Wäre es da nicht sinnvoller per PHP-Script eine JSON für eine Dateiliste im Wiki bereitzustellen, welche dann vom Programm abgerufen werden kann.
Da kann dann schon einiges an Informationen drin sein. Ggf. könnte man dann, auch wieder per PHP-Script, weitere Daten zu einer Datei als JSON abrufen und anzeigen.
Und wenn die Datei-
URL mit im JSON übermittelt wird, kann man aus dem Programm heraus bequem den Download anschubsen.
Das erfordert aber einen massiven Eingriff in die umfangreiche Sammlung auf der Wiki - vor allem die derzeit intensiv genutzten Möglichkeiten zur Beschreibung - mit Text, mit Bild, etc. - müsste man dafür vollständig umbauen.
Ich kenn ja MediaWiki auch nicht wirklich. Aber ich könnte mir vorstellen, dass die Daten schon in einer
MySQL-
DB gespeichert werden. Und da ein PHP-Script zu schreiben, welches einem die notwendigen Daten als JSON liefert, würde ich nicht als massiven Eingriff bezeichnen. Man ändert dadurch ja nichts am MediaWiki selbst.