[003] Update some files. "repo.php" is deprecated.