Opened 15 years ago
Closed 15 years ago
#20854 closed enhancement (fixed)
mediawiki: adjust php dependencies
Reported by: | ryandesign (Ryan Carsten Schmidt) | Owned by: | blb@… |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 1.7.1 |
Keywords: | Cc: | ||
Port: | mediawiki |
Description
php5 has been split into many ports so that you can now declare dependencies on the specific php features you need. In particular this means mediawiki should declare dependencies on php5-mysql and/or php5-postgresql. In addition, it should depend on the new php5-web port since it does require web server support in PHP and otherwise it might not necessarily be there.
I can attach a patch to implement these changes soon.
Note: See
TracTickets for help on using
tickets.
Updated in r56512.