F5620859

F5620859: import_repository_symbols.php