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 | |
parent | - shabang (diff) |
- Fix shebangs
Approved by: portmgr blanket
MFH: 2015Q2
Notes
Notes:
svn path=/head/; revision=387355
Diffstat (limited to 'www')
-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 |