scripts/crossref/generate_php_symbols.php