[PR #20] [CLOSED] Add config for PHP 8.2 #27

New Issue

admin · 2026-01-24T11:41:41+01:00

admin commented

2026-01-24 11:41:41 +01:00

📋 Pull Request Information

Original PR: https://github.com/php/web-rmtools/pull/20
Author: @shivammathur
Created: 8/30/2022
Status: ❌ Closed

Base: master ← Head: php82

📝 Commits (1)

4e2cf84 Add config for PHP 8.2

📊 Changes

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

View changed files

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

📄 Description

Adds config for building PHP 8.2 snaps from PHP-8.2 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/20 **Author:** [@shivammathur](https://github.com/shivammathur) **Created:** 8/30/2022 **Status:** ❌ Closed **Base:** `master` ← **Head:** `php82` --- ### 📝 Commits (1) - [`4e2cf84`](https://github.com/php/web-rmtools/commit/4e2cf84c60e02437017253805ac5854d6815941f) Add config for PHP 8.2 ### 📊 Changes **2 files changed** (+59 additions, -0 deletions) <details> <summary>View changed files</summary> ➕ `data/config/branch/x64/php82.ini` (+33 -0) ➕ `data/config/branch/x86/php82.ini` (+26 -0) </details> ### 📄 Description Adds config for building PHP 8.2 snaps from `PHP-8.2` 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.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: php/web-rmtools#27