1 files changed, 1 insertions, 1 deletions
diff --git a/repo.php b/repo.php
index db77a437d7..8da305e499 100644
--- a/repo.php
+++ b/repo.php
@@ -68,7 +68,7 @@ if ($controller->record && $controller->record->canShow()) {
 		}
 	}
 } else {
-	header($_SERVER['SERVER_PROTOCOL'] . ' 404 Not Found');
+	http_response_code(404);
 	$controller->pageHeader();
 	echo '<p class="ui-state-error">', WT_I18N::translate('This repository does not exist or you do not have permission to view it.'), '</p>';