Daku 862a84677f add docs column, showing what extensions have documentation ...

previously it made every ext name into a link to /ext_doc, regardless if it had docs or not

2016-06-19 05:05:12 +01:00

..

main.php

more comments

2015-09-27 12:38:48 +01:00

test.php

mark tests as public

2015-09-26 11:17:13 +01:00

theme.php

add docs column, showing what extensions have documentation

2016-06-19 05:05:12 +01:00