Override: document usage with properties (PHP 8.5)#4821

Crell merged 1 commit intophp:masterphp/doc-en:masterfrom

jiripudil:override-propertiesjiripudil/php-docs:override-propertiesCopy head branch name to clipboard