Merge "docs: Ignore extensions/ and skins/ in mwdocgen.php by default"
[lhc/web/wiklou.git] / .phan /
drwxr-xr-x   ..
-rw-r--r-- 5693 config.php
drwxr-xr-x - internal_stubs
drwxr-xr-x - stubs