From 3aebbef96c635dfd9eb355c07b3625033579fc55 Mon Sep 17 00:00:00 2001
From: Peter Kokot <peterkokot@gmail.com>
Date: Mon, 14 Jul 2025 12:18:58 +0200
Subject: [PATCH] GitHub: Remove ext/phar/php_phar.h

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 40ac864fd56c5..92f9c50962349 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'