PHP: In the navigator, inherited members are displayed in a different color, similar to how it is done in java#6393

Merged

junichi11 merged 1 commit intoapache:masterfrom troizet:navigator_php_color_inherited_members

Sep 1, 2023

+284-92

Commits on Aug 30, 2023

PHP: In the navigator, inherited members are displayed in a different color, similar to how it is done in java.
troizet
committed