php/web-rmtools
1
0
Fork 0
mirror of https://github.com/php/web-rmtools.git synced 2026-03-24 17:22:12 +01:00
Code Issues 12 Packages Projects Releases Wiki Activity

[PR #21] [CLOSED] Add config for PHP 8.3 #29

New Issue
Closed
opened 2026-01-24 11:41:41 +01:00 by admin · 0 comments
admin commented 2026-01-24 11:41:41 +01:00
Owner
Copy Link

📋 Pull Request Information

Original PR: https://github.com/php/web-rmtools/pull/21
Author: @shivammathur
Created: 8/29/2023
Status: ❌ Closed

Base: master ← Head: php83

📝 Commits (1)

  • ef071b7 PHP-8.3 has been branched; update configs

📊 Changes

5 files changed (+117 additions, -2 deletions)

View changed files

📝 bin/pecl_build_discord.bat (+2 -2)
➕ data/config/branch/x64/php83.ini (+33 -0)
➕ data/config/branch/x86/php83.ini (+26 -0)
➕ data/config/pecl/pecl83_x64.ini (+28 -0)
➕ data/config/pecl/pecl83_x86.ini (+28 -0)

📄 Description

Adds config for building PHP 8.3 snaps from the PHP-8.3 branch.

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/php/web-rmtools/pull/21 **Author:** [@shivammathur](https://github.com/shivammathur) **Created:** 8/29/2023 **Status:** ❌ Closed **Base:** `master` ← **Head:** `php83` --- ### 📝 Commits (1) - [`ef071b7`](https://github.com/php/web-rmtools/commit/ef071b757726cbf1ddf22e4cd53c6a3c9ad7109f) PHP-8.3 has been branched; update configs ### 📊 Changes **5 files changed** (+117 additions, -2 deletions) <details> <summary>View changed files</summary> 📝 `bin/pecl_build_discord.bat` (+2 -2) ➕ `data/config/branch/x64/php83.ini` (+33 -0) ➕ `data/config/branch/x86/php83.ini` (+26 -0) ➕ `data/config/pecl/pecl83_x64.ini` (+28 -0) ➕ `data/config/pecl/pecl83_x86.ini` (+28 -0) </details> ### 📄 Description Adds config for building PHP 8.3 snaps from the PHP-8.3 branch. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
admin added the pull-request label 2026-01-24 11:41:41 +01:00
admin closed this issue 2026-01-24 11:41:41 +01:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
pull-request
Mirrored from GitHub Pull Request
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
admin
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: php/web-rmtools#29
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?