php/php-code-coverage/Portfile

# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
# Remove after 2027-03-01

PortSystem              1.0
PortGroup obsolete      1.0

name                    php-code-coverage
version                 13.0.1
categories-append       devel
maintainers             nomaintainer
license                 BSD

homepage                https://github.com/sebastianbergmann/php-code-coverage/
php-code-coverage: add php port group and update to 1.2.12 2013-07-17 00:46:33 +00:00			`# -- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4`
php: PortGroup obsolete 1.0 a lot of php extensions 2025-02-03 21:06:38 +01:00			`# Remove after 2027-03-01`
php-code-coverage: add php port group and update to 1.2.12 2013-07-17 00:46:33 +00:00
			`PortSystem 1.0`
php: PortGroup obsolete 1.0 a lot of php extensions 2025-02-03 21:06:38 +01:00			`PortGroup obsolete 1.0`
php-code-coverage: add php port group and update to 1.2.12 2013-07-17 00:46:33 +00:00
			`name php-code-coverage`
php: PortGroup obsolete 1.0 a lot of php extensions 2025-02-03 21:06:38 +01:00			`version 13.0.1`
php-code-coverage: add php port group and update to 1.2.12 2013-07-17 00:46:33 +00:00			`categories-append devel`
			`maintainers nomaintainer`
			`license BSD`

			`homepage https://github.com/sebastianbergmann/php-code-coverage/`