mirror of
https://github.com/php/web-php.git
synced 2026-04-01 12:12:16 +02:00
documentation pages to use the new $LANG var to display documentation download pages "customized" to the user This also makes preferred_language()'s remove, as $LANG is perfect for this purpose...
4.7 KiB
4.7 KiB