F5620827

F5620827: manage_repositories.php