indefero upload erweitern

Will man in Indefero ein WAR hochladen, wird man darauf hingewiesen, das dies doch aus Sicherheitsgründen nicht ginge. Doch ZIP geht zum Beispiel. Nun will man seine WARs ja nicht immer zip’n, da dies ja quatsch wäre. WAR is ja eh nur ein ZIP mit anderen Namen. Um Indefero dies abzugewöhnen geht man in den Ordner wo alle Dateien von Indefero liegen. Dort dann die Datei “./src/IDF/Form/Upload.php” öffnen und in Zeile 84 die Liste mit erlaubten Extensions erweitern. Zum Beispiel hinter “…|zip” noch “|war|jar” hinzufügen und dann speichern. Die Änderung tritt sofort in Kraft. Im Zweifelsfall sollte man die Website dann noch mal neu laden.