Dodano nową wersję menedżera plików, w tym nowe obrazy, pliki CSS oraz poprawki w kodzie PHP.

libraries/filemanager-9.14.2/index.php

@@ -0,0 +1,10 @@
+<?php
+header("Expires: Mon, 26 Jul 2019 05:00:00 GMT");
+header("Last-Modified: ".gmdate("D, d M Y H:i:s")." GMT");
+
+header("Cache-Control: no-store, no-cache, must-revalidate");
+header("Cache-Control: post-check=0, pre-check=0", false);
+header("Pragma: no-cache");
+
+header("Location: ../");
+exit;