This port has been deleted. This page will exist till another port with the name "php83-timer" comes
into existence.
php83-timer (php/php-timer) Updated: 3 months, 2 weeks ago Add to my watchlist
utility class for timing in PHPVersion: 8.0.0 License: BSD
| Maintainers | No Maintainer |
| Categories | devel php |
| Homepage | https://github.com/sebastianbergmann/php-timer |
| Platforms | darwin freebsd |
| Variants |
|
Subport(s) (5)
"php83-timer" depends on
lib (1)
build (2)
Ports that depend on "php83-timer"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: Port php83-timer not found
last updated: 15 hours ago