Opened 15 years ago

Closed 15 years ago

#19505 closed enhancement (fixed)

php5-rrdtool: move to php category and use php5extension portgroup

Reported by: ryandesign (Ryan Carsten Schmidt) Owned by: markd@…
Priority: Normal Milestone:
Component: ports Version: 1.7.1
Keywords: Cc:
Port: php5-rrdtool

Description

I'd like to move php5-rrdtool to the newly-created php top-level category, and switch it to using the new php5extension portgroup. Attached is a patch to do the latter. The revision is increased because the portgroup causes an .ini file to get installed.

I also believe the category www can probably be deleted, because rrdtool has nothing specifically to do with the web, right?

Attachments (1)

php5-rrdtool.diff (1.2 KB) - added by ryandesign (Ryan Carsten Schmidt) 15 years ago.

Download all attachments as: .zip

Change History (2)

Changed 15 years ago by ryandesign (Ryan Carsten Schmidt)

Attachment: php5-rrdtool.diff added

comment:1 Changed 15 years ago by ryandesign (Ryan Carsten Schmidt)

Resolution: fixed
Status: newclosed

Maintainer timeout.

  • r52847: committed the patch to use the php5extension portgroup
  • r52848: moved to php primary category and removed www category
Note: See TracTickets for help on using tickets.