Pull Request: https://github.com/php/web-php/pull/1181 Author: Girgias
This mainly fixes the usage of `<?php manual_footer([]); ?>` which doesn't pass `[]`. Split from #1180
- [PHP-WEBMASTER] [web-php] PR #1181: Fix local deployement and ... Girgias
Pull Request: https://github.com/php/web-php/pull/1181 Author: Girgias
This mainly fixes the usage of `<?php manual_footer([]); ?>` which doesn't pass `[]`. Split from #1180