diff options
author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-05-24 21:39:35 +0000 |
---|---|---|
committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-05-24 21:39:35 +0000 |
commit | 14a4d089b63e75d131b4319a56d987942a1b1453 (patch) | |
tree | 3d81255f58c26a7b94f244705a1b43dc99a3eeb7 /www/mediawiki123 | |
parent | 25450b27f65234a2c10e6b340bb8a1356c18e50a (diff) | |
download | ports-14a4d089b63e75d131b4319a56d987942a1b1453.tar.gz ports-14a4d089b63e75d131b4319a56d987942a1b1453.zip |
Notes
Diffstat (limited to 'www/mediawiki123')
-rw-r--r-- | www/mediawiki123/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/www/mediawiki123/Makefile b/www/mediawiki123/Makefile index 7a985a31b7f7..36386f45400e 100644 --- a/www/mediawiki123/Makefile +++ b/www/mediawiki123/Makefile @@ -3,6 +3,7 @@ PORTNAME= mediawiki PORTVERSION= 1.23.9 +PORTREVISION= 1 CATEGORIES= www MASTER_SITES= http://releases.wikimedia.org/mediawiki/${PORTVERSION:R}/ PKGNAMESUFFIX= 123 @@ -14,6 +15,12 @@ LICENSE= GPLv2 CONFLICTS= mediawiki119-[0-9]* mediawiki12[24]-[0-9]* +USES= shebangfix +SHEBANG_FILES= maintenance/dev/*.sh \ + maintenance/hiphop/run-server +SHEBANG_LANG= hhvm +hhvm_OLD_CMD= /usr/bin/hhvm +hhvm_CMD= ${PREFIX}/bin/hhvm # not installed by anything yet USE_PHP= ctype hash iconv mbstring pcre session xml zlib readline dom json WANT_PHP_WEB= yes MEDIAWIKIDIR?= www/mediawiki |