scripts/symbols/import_repository_symbols.php