diff options
Diffstat (limited to 'www/xpi-web_developer')
| -rw-r--r-- | www/xpi-web_developer/Makefile | 22 | ||||
| -rw-r--r-- | www/xpi-web_developer/distinfo | 3 | ||||
| -rw-r--r-- | www/xpi-web_developer/pkg-descr | 3 |
3 files changed, 28 insertions, 0 deletions
diff --git a/www/xpi-web_developer/Makefile b/www/xpi-web_developer/Makefile new file mode 100644 index 000000000000..f15dd451b9b1 --- /dev/null +++ b/www/xpi-web_developer/Makefile @@ -0,0 +1,22 @@ +# New ports collection makefile for: xpi-web_developer +# Date created: 2006/05/06 +# Whom: chinsan <chinsan.tw@gmail.com> +# +# $FreeBSD$ +# + +PORTNAME= web_developer +PORTVERSION= 1.0.2 +DISTVERSIONSUFFIX= -fx+fl +CATEGORIES= www + +MAINTAINER= chinsan.tw@gmail.com +COMMENT= An extension to add various web developer tools + +XPI_ID= {c45c406e-ab73-11d8-be73-000a95be3b12} +XPI_FILES= chrome/webdeveloper.jar chrome.manifest install.js \ + install.rdf license.txt +XPI_DIRS= chrome + +.include "../xpi-adblock/Makefile.xpi" +.include <bsd.port.mk> diff --git a/www/xpi-web_developer/distinfo b/www/xpi-web_developer/distinfo new file mode 100644 index 000000000000..5eb2652df7a6 --- /dev/null +++ b/www/xpi-web_developer/distinfo @@ -0,0 +1,3 @@ +MD5 (xpi/web_developer-1.0.2-fx+fl.xpi) = ed530fc64106089d817048119e1e41cf +SHA256 (xpi/web_developer-1.0.2-fx+fl.xpi) = deaf6c3219745ea53a22e9b06cbc26de9b088ab42b816c01d0451ebc83b6357e +SIZE (xpi/web_developer-1.0.2-fx+fl.xpi) = 148819 diff --git a/www/xpi-web_developer/pkg-descr b/www/xpi-web_developer/pkg-descr new file mode 100644 index 000000000000..00a9307240fb --- /dev/null +++ b/www/xpi-web_developer/pkg-descr @@ -0,0 +1,3 @@ +Adds a menu and a toolbar with various web developer tools. + +WWW: https://addons.mozilla.org/firefox/60/ |