use ext name instead of pkg name, and add redis

[remicollet]

Main benefit: will install the extension, whatever the package name is, and latest version, ex:

• zip => php-zip => php-pecl-zip
• json => php-pecl-json => php-json => php-common (since 8.0)
• redis => php-pecl-redis3 => php-pecl-redis5 => php-pecl-redis6
• etc

By packaging Guidelines, the php-<extname> is always provided and is the only reliable name
https://docs.fedoraproject.org/en-US/packaging-guidelines/PHP/#requires-provides-c

[github-actions]

Pull Request validation

Success

🟢 CI - All checks have passed
🟢 Review - Reviewed by a member
🟢 Approval - Changes were approved

---

Auto Merge

Failed

🔴 Pull Request has unsupported target branch master, expected branches are: ''

Success

🟢 Pull Request is not marked as draft and it's not blocked by dont-merge label
🟢 Pull Request meet requirements, title has correct form
🟢 Pull Request meet requirements, mergeable is true
🟢 Pull Request meet requirements, mergeable_state is clean

[remicollet]

@phracek please check

[phracek]

[test]

[github-actions]

Testing Farm results

name	compose	arch	status	started (UTC)	time	logs
CentOS Stream 10 - 8.3	CentOS-Stream-10	x86_64	✅ passed	30.01.2025 15:53:54	8min 1s	test pipeline
Fedora - 8.3	Fedora-latest	x86_64	✅ passed	30.01.2025 15:53:58	10min 39s	test pipeline
Fedora - 8.1	Fedora-latest	x86_64	✅ passed	30.01.2025 15:53:46	10min 28s	test pipeline
Fedora - 8.2	Fedora-latest	x86_64	✅ passed	30.01.2025 15:53:53	10min 30s	test pipeline
RHEL9 - 8.2	RHEL-9.4.0-Nightly	x86_64	✅ passed	30.01.2025 15:53:55	13min 35s	test pipeline
RHEL9 - 8.0	RHEL-9.4.0-Nightly	x86_64	✅ passed	30.01.2025 15:53:49	13min 41s	test pipeline
RHEL9 - 8.1	RHEL-9.4.0-Nightly	x86_64	✅ passed	30.01.2025 15:53:50	14min 20s	test pipeline
RHEL8 - 8.2	RHEL-8.10.0-Nightly	x86_64	✅ passed	30.01.2025 15:53:54	15min 40s	test pipeline
RHEL8 - 7.4	RHEL-8.10.0-Nightly	x86_64	✅ passed	30.01.2025 15:53:48	15min 39s	test pipeline

[phracek]

@remicollet IT looks like on CentOS Stream 10 packages do not exist

package php-apcu is not installed
package php-zip is not installed
package php-redis is not installed

[remicollet]

[test]

[remicollet]

@remicollet IT looks like on CentOS Stream 10 packages do not exist

package php-apcu is not installed
package php-zip is not installed
package php-redis is not installed

Yes, because these are NOT package name (so rpm -V fails)
Second commit try to fix this

[remicollet]

From CI log:

Found VERSION 8.3
Found requested extensions

:)

[phracek]

Thanks. Let's try another shot

[test]

[phracek]

@remicollet One more question. The Dockerfile.rhel10 is not valid? Thanks for the great work, though.

[phracek]

Thanks for fixing. LGTM.