[PHP-WEBMASTER] [web-php] PR #1181: Fix local deployement and add a new doc page

Mailing Lists php.webmaster
1

Pull Request: Fix local deployement and add a new doc page by Girgias · Pull Request #1181 · php/web-php · GitHub
Author: Girgias

This mainly fixes the usage of `<?php manual_footer(); ?>` which doesn't pass ``.

Split from #1180