php7: Clean up and update distributed php.ini for php 7.4.25
php8: Clean up and update distributed php.ini for php 8.0.12
CI: only run GitHub pages on the official repository
luci-base: luci.js: fix `LuCI.request.poll.add()` exception handling