F37897

F37897: clear_repository_symbols.php