access user group date size name drwxr-xr-x root root Feb 15 2023 <DIR> .. -rw-r--r-- root root Feb 15 2023 742 B HeadingPermalink.php -rw-r--r-- root root Feb 15 2023 1960 B HeadingPermalinkExtension.php -rw-r--r-- root root Feb 15 2023 2936 B HeadingPermalinkProcessor.php -rw-r--r-- root root Feb 15 2023 2897 B HeadingPermalinkRenderer.php