PHP symbol discovery and management