| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 19-Apr-2024 | - | ||||
| conf/ | H | 23-Jul-2023 | - | 22 | 10 | |
| lang/ | H | 23-Jul-2023 | - | 515 | 184 | |
| syntax/ | H | 23-Jul-2023 | - | 240 | 150 | |
| MenuItemFolded.php | H A D | 22-Jul-2023 | 1.6 KiB | 75 | 31 | |
| action.php | H A D | 22-Jul-2023 | 3 KiB | 80 | 39 | |
| closed.gif | H A D | 22-Jul-2023 | 53 | |||
| helper.php | H A D | 22-Jul-2023 | 670 | 31 | 19 | |
| menu-folded.svg | H A D | 22-Jul-2023 | 187 | 4 | 3 | |
| open.gif | H A D | 22-Jul-2023 | 51 | |||
| pagetools-close-open-sprite.png | H A D | 22-Jul-2023 | 369 | |||
| plugin.info.txt | H A D | 22-Jul-2023 | 235 | 8 | 7 | |
| script.js | H A D | 22-Jul-2023 | 2.9 KiB | 90 | 55 | |
| style.css | H A D | 22-Jul-2023 | 1.1 KiB | 50 | 40 |
