Turn off font ligatures in code in documentation#18426

derickr merged 1 commit intophp:masterphp/php-src:masterfrom

derickr:no-font-ligatures-in-codederickr/php-src:no-font-ligatures-in-codeCopy head branch name to clipboard