diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2008-08-15 04:24:36 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2008-08-15 04:24:36 +0000 |
| commit | 725caafd4cd1d5cd966efef01320860e4cbae3d5 (patch) | |
| tree | e6261271cc96ec29684005085a819dd291c7d663 /www/xpi-live_http_headers | |
| parent | 9032a2b4bd94b3d34a06d3a4cf10b223fa6f79ab (diff) | |
| download | ports-725caafd4cd1d5cd966efef01320860e4cbae3d5.tar.gz ports-725caafd4cd1d5cd966efef01320860e4cbae3d5.zip | |
Notes
Diffstat (limited to 'www/xpi-live_http_headers')
| -rw-r--r-- | www/xpi-live_http_headers/Makefile | 38 | ||||
| -rw-r--r-- | www/xpi-live_http_headers/distinfo | 3 | ||||
| -rw-r--r-- | www/xpi-live_http_headers/pkg-descr | 4 |
3 files changed, 45 insertions, 0 deletions
diff --git a/www/xpi-live_http_headers/Makefile b/www/xpi-live_http_headers/Makefile new file mode 100644 index 000000000000..b65b12bbbe4a --- /dev/null +++ b/www/xpi-live_http_headers/Makefile @@ -0,0 +1,38 @@ +# New ports collection makefile for: xpi-live_http_headers +# Date created: 29 June 2008 +# Whom: Dominic Fandrey <kamikaze@bsdforen.de> +# +# $FreeBSD$ +# + +PORTNAME= live_http_headers +PORTVERSION= 0.14 +DISTVERSIONSUFFIX= -fx+sm +CATEGORIES= www +PKGNAMEPREFIX= xpi- + +MAINTAINER= kamikaze@bsdforen.de +COMMENT= A firefox extension to view HTTP headers + +XPI_NUM= 3829 +XPI_ID= {8f8fe09b-0bd3-4470-bc1b-8cad42b8203a} + +XPI_FILES= TODO.txt \ + chrome/icons/default/LiveHTTPHeaders.ico \ + chrome/icons/default/LiveHTTPHeaders.xpm \ + chrome/livehttpheaders.jar \ + chrome.manifest \ + components/nsHeaderInfo.js \ + defaults/preferences/prefs.js \ + install.js \ + install.rdf + +XPI_DIRS= chrome/icons/default \ + chrome/icons \ + chrome \ + components \ + defaults/preferences \ + defaults + +.include "../xpi-adblock/Makefile.xpi" +.include <bsd.port.mk> diff --git a/www/xpi-live_http_headers/distinfo b/www/xpi-live_http_headers/distinfo new file mode 100644 index 000000000000..869de0679217 --- /dev/null +++ b/www/xpi-live_http_headers/distinfo @@ -0,0 +1,3 @@ +MD5 (xpi/live_http_headers-0.14-fx+sm.xpi) = e25d5c100a8078ba225403b5a37d3d8b +SHA256 (xpi/live_http_headers-0.14-fx+sm.xpi) = e6deb46c501975b4195f815545f228292bdbe575706b11d2174176882eb6a4f9 +SIZE (xpi/live_http_headers-0.14-fx+sm.xpi) = 109395 diff --git a/www/xpi-live_http_headers/pkg-descr b/www/xpi-live_http_headers/pkg-descr new file mode 100644 index 000000000000..4c1f386e0542 --- /dev/null +++ b/www/xpi-live_http_headers/pkg-descr @@ -0,0 +1,4 @@ +Allows the viewing of HTTP headers in the page info as well as live while +they're being sent. + +WWW: https://addons.mozilla.org/firefox/3829/ |