summaryrefslogtreecommitdiff
path: root/www
diff options
context:
space:
mode:
authorDmitry Marakasov <amdmi3@FreeBSD.org>2015-05-24 21:39:35 +0000
committerDmitry Marakasov <amdmi3@FreeBSD.org>2015-05-24 21:39:35 +0000
commit14a4d089b63e75d131b4319a56d987942a1b1453 (patch)
tree3d81255f58c26a7b94f244705a1b43dc99a3eeb7 /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/Makefile7
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