![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| jquery.min.js | 2023-11-02 13:44 | 94K | |
| menu.js | 2023-11-02 13:44 | 2.3K | |
| searchCore.js | 2023-11-02 13:44 | 10K | |
| sideBarMenu.js | 2023-11-02 13:44 | 5.0K | |
| utils.js | 2023-11-02 13:44 | 1.2K | |
| google_translate_plugin.js | 2024-09-20 08:15 | 1.1K | |
| header.js | 2024-10-29 16:03 | 1.7K | |
| jsjsonsearch2de.js | 2025-08-28 15:27 | 66K | |
| content_transitional.js | 2025-11-19 20:02 | 1.2M | |
| footer.js | 2025-11-19 20:02 | 9.2K | |