php-timer (php/php-timer) Updated: 1 day, 5 hours ago Add to my watchlist
Obsolete portThis port is obsolete.
Version: 9.0.0 License: BSD
GitHub
| Maintainers | No Maintainer |
| Categories | devel |
| Homepage | https://github.com/sebastianbergmann/php-timer |
| Platforms | darwin |
| Variants | - |
Subport(s) (5)
"php-timer" depends on
run (0)
build (1)
lib (0)
extract (0)
patch (0)
test (0)
fetch (0)
Ports that depend on "php-timer"
No ports
Port Health:
Loading Port Health