[PR #12] [CLOSED] PHP 7.4 is GA, 7.1 is EOL #13

New Issue

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

admin commented

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

📋 Pull Request Information

Original PR: https://github.com/php/web-rmtools/pull/12
Author: @cmb69
Created: 12/2/2019
Status: ❌ Closed

Base: master ← Head: cmb/7.4-7.1

📝 Commits (1)

6049f0c PHP 7.4 is GA, 7.1 is EOL

📊 Changes

1 file changed (+4 additions, -4 deletions)

View changed files

📝 bin/pecl_build_all.bat (+4 -4)

📄 Description

No description provided

_{🔄 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/12 **Author:** [@cmb69](https://github.com/cmb69) **Created:** 12/2/2019 **Status:** ❌ Closed **Base:** `master` ← **Head:** `cmb/7.4-7.1` --- ### 📝 Commits (1) - [`6049f0c`](https://github.com/php/web-rmtools/commit/6049f0cd322b3699b6dfd65af5ed08c578766586) PHP 7.4 is GA, 7.1 is EOL ### 📊 Changes **1 file changed** (+4 additions, -4 deletions) <details> <summary>View changed files</summary> 📝 `bin/pecl_build_all.bat` (+4 -4) </details> ### 📄 Description _No description provided_ --- <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:38 +01:00

admin referenced this issue

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

[PR #13] [CLOSED] Support extensions with config.w32 in subfolder #21

admin referenced this issue

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

[PR #13] Support extensions with config.w32 in subfolder #26

Sign in to join this conversation.