F5619863

F5619863: clear_repository_symbols.php