[PR #17] [MERGED] Add config for PHP 8.1 #19

Closed
opened 2026-01-24 11:41:39 +01:00 by admin · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/php/web-rmtools/pull/17
Author: @shivammathur
Created: 9/1/2021
Status: Merged
Merged: 9/1/2021
Merged by: @cmb69

Base: masterHead: php81


📝 Commits (1)

📊 Changes

2 files changed (+59 additions, -0 deletions)

View changed files

data/config/branch/x64/php81.ini (+33 -0)
data/config/branch/x86/php81.ini (+26 -0)

📄 Description

Adds config for building PHP 8.1 snaps from PHP-8.1 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/17 **Author:** [@shivammathur](https://github.com/shivammathur) **Created:** 9/1/2021 **Status:** ✅ Merged **Merged:** 9/1/2021 **Merged by:** [@cmb69](https://github.com/cmb69) **Base:** `master` ← **Head:** `php81` --- ### 📝 Commits (1) - [`51828ef`](https://github.com/php/web-rmtools/commit/51828ef98b048a776a87dde1683cc40067d95485) Add config for PHP 8.1 ### 📊 Changes **2 files changed** (+59 additions, -0 deletions) <details> <summary>View changed files</summary> ➕ `data/config/branch/x64/php81.ini` (+33 -0) ➕ `data/config/branch/x86/php81.ini` (+26 -0) </details> ### 📄 Description Adds config for building PHP 8.1 snaps from PHP-8.1 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:39 +01:00
admin closed this issue 2026-01-24 11:41:40 +01:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: php/web-rmtools#19