F5621085

F5621085: import_repository_symbols.php