Tools
Extension Editor
On this page all loaded extensions are listed (fig.1). By clicking on the “+” symbol of a folder, the content of this folder will be displayed. By clicking on the “-” symbol of a folder, the content will be hidden.

After clicking on the name of a folder or file, a menu opens (fig.2) which gives you following options:
- edit (a syntax highlighting editor pops up) or download the selected file
- create a new file or folder
- rename/delete the selected file/folder
- upload a file

You can upload one or multiple files from a folder in the extensiontree (fig. 3) or from your computer (fig. 4) by dragging & dropping them onto a folder.

