F1480392

F1480392: clear_repository_symbols.php