* htdocs/admin/preferences.php: use require() instead of include()