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