@name php72-jsmin-3.0.0_0
@portname php72-jsmin
@portepoch 0
@portversion 3.0.0
@portrevision 0
@archs x86_64
@pkgdep php72-7.2.6_0
opt/local/include/php72/php/ext/jsmin/php_jsmin.h
@comment MD5:1efd26cbe079fee159c74e6e7e7e8d58
opt/local/lib/php72/extensions/no-debug-non-zts-20170718/jsmin.so
@comment MD5:56b747318e29d66c60363adace05eff1
opt/local/var/db/php72/jsmin.ini
@comment MD5:d917dd8b3dafd2d84b2f9894b2b91cca
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
