1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 00:02:20 +01:00

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: d7bdf902e5
This commit is contained in:
Peter Kokot
2025-07-14 15:51:42 +02:00
committed by GitHub
parent b750aa8bfc
commit 114fc16266

1
.github/labeler.yml vendored
View File

@@ -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'