[MacPorts] #58419: ports still using php5extension portgroup

[MacPorts]

#58419: ports still using php5extension portgroup
-------------------------------------------+------------------------
  Reporter:  chrstphrchvz                  |      Owner:  ryandesign
      Type:  defect                        |     Status:  assigned
  Priority:  Normal                        |  Milestone:
 Component:  ports                         |    Version:
Resolution:                                |   Keywords:
      Port:  php5-spidermonkey php5-zorba  |
-------------------------------------------+------------------------

Comment (by ryandesign):

 I'm ok with deleting both of these ports and the portgroup.

-- 
Ticket URL: <https://trac.macports.org/ticket/58419#comment:1>
MacPorts <https://www.macports.org/>
Ports system for macOS