mirror of
https://github.com/php/web-php.git
synced 2026-04-01 04:02:10 +02:00
preconfiguring page details in the already existing page configuration array, and using the information from there in the new XSL sheets => results in slightly smaller PHP files