diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-09-24 03:59:41 +0800 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-09-24 03:59:41 +0800 |
| commit | ce91d72c09ea2cfe01f2b59b2414fbfe6ebee580 (patch) | |
| tree | c824045062836221e1b7f7a15adecc5e6b5165a4 /www | |
| parent | 6ffd513e424b8e3819757d341fd8766d4b52cdde (diff) | |
| download | freebsd-ports-gnome-ce91d72c09ea2cfe01f2b59b2414fbfe6ebee580.tar.gz freebsd-ports-gnome-ce91d72c09ea2cfe01f2b59b2414fbfe6ebee580.tar.zst freebsd-ports-gnome-ce91d72c09ea2cfe01f2b59b2414fbfe6ebee580.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 |