mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-11-23 09:54:15 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add support for extending multiple interfaces in the manual

Browse Source 
After https://github.com/php/phd/pull/75/
This commit is contained in:
Máté Kocsis 2023-07-03 15:49:05 +02:00
parent ddd9a08f56
commit 3c6590a391
No known key found for this signature in database
GPG Key ID: FD055E41728BF310
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
build/gen_stub.php
View File

@ -2803,6 +2803,9 @@ class ClassInfo {
public function getClassSynopsisElement(DOMDocument $doc, array $classMap, iterable $allConstInfos): ?DOMElement {
$classSynopsis = $doc->createElement("classsynopsis");
if ($this->type === "interface") {
$classSynopsis->setAttribute("class", "interface");
}
$classSynopsis->appendChild(new DOMText("\n "));
$ooElement = self::createOoElement($doc, $this, true, false, false, 4);
@ -2831,9 +2834,9 @@ class ClassInfo {
$ooElement = self::createOoElement(
$doc,
$parentInfo,
$this->type === "interface",
false,
$k === 0,
false,
$k === 0 && $this->type === "class",
5
);
if (!$ooElement) {