Branch development of PHP-GTK3 documentation is dev-php-doc.
All development of PH-gtk3 documentation will be done in this branch.
Be careful when doing push. You should make sure to checkout the correct
We will only do merge with the master branch when PHP-GTK3 documentation
is stable and functional.
We must decide:
1) If we continue with the current generator documentation, but updated.
2) If we should leave for phd and your web editor.
3) Or if we are to create a new documentation generator.
Please everyone who has Karma to php-gtk documentation help us decide.