diff options
| author | edwin <edwin@FreeBSD.org> | 2008-08-15 12:24:36 +0800 |
|---|---|---|
| committer | edwin <edwin@FreeBSD.org> | 2008-08-15 12:24:36 +0800 |
| commit | 012083b2c4cf4929aa25ca780b2d16705530c5bb (patch) | |
| tree | 6b9c1a5a23a025eed81147538a6cf9783084f036 /www | |
| parent | e03cbe3b7e9b0035596ac7e9d640514b4a5c44ee (diff) | |
| download | freebsd-ports-gnome-012083b2c4cf4929aa25ca780b2d16705530c5bb.tar.gz freebsd-ports-gnome-012083b2c4cf4929aa25ca780b2d16705530c5bb.tar.zst freebsd-ports-gnome-012083b2c4cf4929aa25ca780b2d16705530c5bb.zip | |
[new port] www/xpi-live_http_headers Firefox plugin
A plugin that allows you to view the browsers request headers
and the headers sent by the http server.
PR: ports/125096
Submitted by: Dominic Fandrey <kamikaze@bsdforen.de>
Diffstat (limited to 'www')
| -rw-r--r-- | www/Makefile | 1 | ||||
| -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 |
4 files changed, 46 insertions, 0 deletions
diff --git a/www/Makefile b/www/Makefile index 11dbc30262bf..f3e7b67eeb5a 100644 --- a/www/Makefile +++ b/www/Makefile @@ -1515,6 +1515,7 @@ SUBDIR += xpi-jsview SUBDIR += xpi-leechblock SUBDIR += xpi-linkification + SUBDIR += xpi-live_http_headers SUBDIR += xpi-locale-switcher SUBDIR += xpi-menueditor SUBDIR += xpi-mldonkey 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/ |