Community Packages

Please read this before reporting a bug:

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!

FS#76625 - [mediawiki] unnecessary dependency on php7 (mediawiki supports php 8+)

Attached to Project: Community Packages
Opened by Nicola Revelant (nicolarevelant44) - Saturday, 19 November 2022, 14:20 GMT
Last edited by Antonio Rojas (arojas) - Saturday, 19 November 2022, 14:39 GMT
Task Type General Gripe
Category Packages
Status Closed
Assigned To No-one
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No


Description: MediaWiki does not require php7 (it works with the package php (8.1 and later))
Please update the package dependency: php7 --> php.
And the optional dependencies from php7-* to php-*

Additional info:
* mediawiki 1.38.4-1

Steps to reproduce:
This task depends upon

Closed by  Antonio Rojas (arojas)
Saturday, 19 November 2022, 14:39 GMT
Reason for closing:  Duplicate
Additional comments about closing:  Please don't file the same issue multiple times