diff options
Diffstat (limited to 'www')
| -rw-r--r-- | www/mediawiki124/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/www/mediawiki124/Makefile b/www/mediawiki124/Makefile index e3c7d68cb6a0..dd13aae55d14 100644 --- a/www/mediawiki124/Makefile +++ b/www/mediawiki124/Makefile @@ -3,6 +3,7 @@ PORTNAME= mediawiki PORTVERSION= 1.24.2 +PORTREVISION= 1 CATEGORIES= www MASTER_SITES= http://releases.wikimedia.org/mediawiki/${PORTVERSION:R}/ PKGNAMESUFFIX= 124 @@ -14,6 +15,12 @@ LICENSE= GPLv2 CONFLICTS= mediawiki119-[0-9]* mediawiki12[23]-[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 |