Improvement
Jump to definition in public repositories now supports PHP
Jump to definition is available for a subset of public repositories–supported in Go, JavaScript, Python, Ruby, Typescript, and now PHP.
Learn more about jump to definition
Check out the semantic library