Do not add inherited interface methods to the class synopsis page

kocsismate · kocsismate · commit b56492be9c5b · 2022-07-28T15:14:00.000+02:00
These are not displayed currently in the manual so gen_stub.php should be adapted to this behavior.
diff --git a/build/gen_stub.php b/build/gen_stub.php
@@ -2981,7 +2981,7 @@ private function collectInheritedMembers(
             $parentInfo->collectInheritedMembers(
                 $parentsWithInheritedConstants,
                 $unusedParentsWithInheritedProperties,
-                $parentsWithInheritedMethods,
+                $unusedParentsWithInheritedMethods,
                 $classMap
             );
         }

Original file line number	Diff line number	Diff line change
`@@ -2981,7 +2981,7 @@ private function collectInheritedMembers(`
`2981`	`2981`	`$parentInfo->collectInheritedMembers(`
`2982`	`2982`	`$parentsWithInheritedConstants,`
`2983`	`2983`	`$unusedParentsWithInheritedProperties,`
`2984`		`- $parentsWithInheritedMethods,`
	`2984`	`+ $unusedParentsWithInheritedMethods,`
`2985`	`2985`	`$classMap`
`2986`	`2986`	`);`
`2987`	`2987`	`}`