F5644838

F5644838: clear_repository_symbols.php