Merge pull request #3439 from dokuwiki-translate/lang_update_275_1616098692
[dokuwiki.git] / inc / Menu / 
tree5352026337524149ef95f796abde12e927fb9aa4
drwxr-xr-x   ..
-rw-r--r-- 2864 AbstractMenu.php
-rw-r--r-- 340 DetailMenu.php
drwxr-xr-x - Item
-rw-r--r-- 304 MenuInterface.php
-rw-r--r-- 2972 MobileMenu.php
-rw-r--r-- 375 PageMenu.php
-rw-r--r-- 312 SiteMenu.php
-rw-r--r-- 284 UserMenu.php