From 114fc162665a5af02ded4e6d5870d21c34037966 Mon Sep 17 00:00:00 2001
From: Peter Kokot <peterkokot@gmail.com>
Date: Mon, 14 Jul 2025 15:51:42 +0200
Subject: [PATCH] GitHub: Remove ext/phar/php_phar.h (#19124)

This header is not installed anymore and not intended to be used as a
public header.
Related to: d7bdf902e5b88189037883d462e422838bd9be55
---
 .github/labeler.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/labeler.yml b/.github/labeler.yml
index 40ac864fd56..92f9c509623 100644
--- a/.github/labeler.yml
+++ b/.github/labeler.yml
@@ -469,7 +469,6 @@
       - 'ext/pdo/php_pdo.h'
       - 'ext/pdo/php_pdo_driver.h'
       - 'ext/pdo/php_pdo_error.h'
-      - 'ext/phar/php_phar.h'
       - 'ext/random/php_random.h'
       - 'ext/random/php_random_csprng.h'
       - 'ext/random/php_random_uint128.h'