diff options
author | amdmi3 <amdmi3@FreeBSD.org> | 2015-09-24 03:59:41 +0800 |
---|---|---|
committer | amdmi3 <amdmi3@FreeBSD.org> | 2015-09-24 03:59:41 +0800 |
commit | 94dc644f8a45c431604aafe892ce59f69d5084a8 (patch) | |
tree | c824045062836221e1b7f7a15adecc5e6b5165a4 /www | |
parent | 85751b9e77b2981cf4e7b3b0823a08ac8597d914 (diff) | |
download | freebsd-ports-gnome-94dc644f8a45c431604aafe892ce59f69d5084a8.tar.gz freebsd-ports-gnome-94dc644f8a45c431604aafe892ce59f69d5084a8.tar.zst freebsd-ports-gnome-94dc644f8a45c431604aafe892ce59f69d5084a8.zip |
- Fix shebangs
Approved by: portmgr blanket
Diffstat (limited to 'www')
-rw-r--r-- | www/mediawiki119/Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/www/mediawiki119/Makefile b/www/mediawiki119/Makefile index 4cbd5a8da86d..58c6fcb1794a 100644 --- a/www/mediawiki119/Makefile +++ b/www/mediawiki119/Makefile @@ -3,6 +3,7 @@ PORTNAME= mediawiki PORTVERSION= 1.19.24 +PORTREVISION= 1 CATEGORIES= www MASTER_SITES= http://releases.wikimedia.org/mediawiki/${PORTVERSION:R}/ PKGNAMESUFFIX= 119 @@ -17,6 +18,17 @@ CONFLICTS= mediawiki12[3-5]-[0-9]* DEPRECATED= Please upgrade to mediawiki-1.25 EXPIRATION_DATE= 2015-11-27 +USES= shebangfix +SHEBANG_FILES= bin/*.sh \ + extensions/WikiEditor/modules/images/toolbar/png24/generate.sh \ + maintenance/cssjanus/*.py \ + maintenance/dev/*.sh \ + maintenance/hiphop/make \ + maintenance/hiphop/run-server \ + maintenance/storage/make-blobs +SHEBANG_LANG= hphpi +hphpi_OLD_CMD= /usr/bin/hphpi +hphpi_CMD= ${LOCALBASE}/bin/hphpi # not installed by anything yet USE_PHP= ctype iconv mbstring pcre session xml zlib readline dom WANT_PHP_WEB= yes MEDIAWIKIDIR?= www/mediawiki |