From 64e8108c5f33b2a9e27e85a34eba7856ded13bc9 Mon Sep 17 00:00:00 2001 From: Andrew Pantyukhin Date: Wed, 7 Nov 2007 16:52:22 +0000 Subject: [PATCH] - Add XPI_NUM to make fetchable - Provide new mirrors where needed Approved by: portmgr (pav), chinsan (maintainer), Lapo Luchini (maintainer, implicit), Simon Olofsson (maintainer, implicit), Steven Kreuzer (maintainer, implicit) --- www/xpi-cssviewer/Makefile | 1 + www/xpi-errorzilla/Makefile | 1 + www/xpi-gmail-manager/Makefile | 1 + www/xpi-hit-a-hint/Makefile | 1 + www/xpi-mousegestures/Makefile | 1 + www/xpi-mrtech-local-install/Makefile | 1 + www/xpi-no-referrer/Makefile | 1 + www/xpi-preferential/Makefile | 1 + www/xpi-searchstatus/Makefile | 1 + www/xpi-server_switcher/Makefile | 1 + www/xpi-videodownloader/Makefile | 1 + www/xpi-web_developer/Makefile | 1 + 12 files changed, 12 insertions(+) diff --git a/www/xpi-cssviewer/Makefile b/www/xpi-cssviewer/Makefile index 4dd1737eb2e5..29be86237ecf 100644 --- a/www/xpi-cssviewer/Makefile +++ b/www/xpi-cssviewer/Makefile @@ -13,6 +13,7 @@ CATEGORIES= www MAINTAINER= chinsan@FreeBSD.org COMMENT= Simple CSS property viewer +XPI_NUM= 2104 XPI_ID= {8be51513-0433-45c1-9203-7b45019df871} XPI_FILES= chrome/CSSViewer.jar chrome.manifest install.js install.rdf XPI_DIRS= chrome diff --git a/www/xpi-errorzilla/Makefile b/www/xpi-errorzilla/Makefile index 4a205ddddd37..88f5f3966dfa 100644 --- a/www/xpi-errorzilla/Makefile +++ b/www/xpi-errorzilla/Makefile @@ -14,6 +14,7 @@ MAINTAINER= skreuzer@exit2shell.com COMMENT= Useful error pages XPI_DISTNAME= errorzilla_mod +XPI_NUM= 3336 XPI_ID= ErrorZillaMod@jaybaldwin XPI_FILES= chrome/errorzillamod.jar chrome.manifest install.rdf license.txt XPI_DIRS= chrome diff --git a/www/xpi-gmail-manager/Makefile b/www/xpi-gmail-manager/Makefile index 8cafe731c2c1..9792a0a9537c 100644 --- a/www/xpi-gmail-manager/Makefile +++ b/www/xpi-gmail-manager/Makefile @@ -14,6 +14,7 @@ MAINTAINER= chinsan@FreeBSD.org COMMENT= Manage multiple Gmail accounts and receive new mail notifications XPI_DISTNAME= gmail_manager +XPI_NUM= 1320 XPI_ID= {582195F5-92E7-40a0-A127-DB71295901D7} .include "${.CURDIR}/../xpi-adblock/Makefile.xpi" diff --git a/www/xpi-hit-a-hint/Makefile b/www/xpi-hit-a-hint/Makefile index 875750721a6a..8128ea24f5d2 100644 --- a/www/xpi-hit-a-hint/Makefile +++ b/www/xpi-hit-a-hint/Makefile @@ -13,6 +13,7 @@ CATEGORIES= www MAINTAINER= simon@olofsson.de COMMENT= Click links by hitting hints +XPI_NUM= 1341 XPI_ID= {4476fef4-3557-40b5-afcd-d6903cf7cc9d} XPI_FILES= chrome/chrome.jar chrome.manifest defaults/preferences/prefs.js install.rdf XPI_DIRS= chrome defaults/preferences defaults diff --git a/www/xpi-mousegestures/Makefile b/www/xpi-mousegestures/Makefile index 075a7f2f8c9e..b321e19d4db8 100644 --- a/www/xpi-mousegestures/Makefile +++ b/www/xpi-mousegestures/Makefile @@ -14,6 +14,7 @@ MAINTAINER= simon@olofsson.de COMMENT= Allows you to execute common commands using mouse gestures XPI_DISTNAME= mouse_gestures +XPI_NUM= 39 XPI_ID= {FFA36170-80B1-4535-B0E3-A4569E497DD0} XPI_FILES= chrome/mozgest.jar chrome.manifest components/mgIMouseService.xpt \ install/install.properties install.js install.rdf diff --git a/www/xpi-mrtech-local-install/Makefile b/www/xpi-mrtech-local-install/Makefile index 93df85c04af9..2e07427d41fa 100644 --- a/www/xpi-mrtech-local-install/Makefile +++ b/www/xpi-mrtech-local-install/Makefile @@ -14,6 +14,7 @@ MAINTAINER= chinsan@FreeBSD.org COMMENT= Manage extensions and themes locally XPI_DISTNAME= mr_tech_local_install +XPI_NUM= 421 XPI_ID= {9669CC8F-B388-42FE-86F4-CB5E7F5A8BDC} .include "${.CURDIR}/../xpi-adblock/Makefile.xpi" diff --git a/www/xpi-no-referrer/Makefile b/www/xpi-no-referrer/Makefile index 1f480ac41ebb..4340cf4dd11d 100644 --- a/www/xpi-no-referrer/Makefile +++ b/www/xpi-no-referrer/Makefile @@ -13,6 +13,7 @@ CATEGORIES= www MAINTAINER= chinsan@FreeBSD.org COMMENT= An extension to Open URL without sending referrers information +XPI_NUM= 1999 XPI_ID= {e806da17-8400-4b6b-9c34-1bb4fe84aedc} XPI_FILES= chrome/icon.gif chrome/referrer.js chrome/referrer.xul \ chrome.manifest install.rdf diff --git a/www/xpi-preferential/Makefile b/www/xpi-preferential/Makefile index bbf27898545d..fa3c5490790e 100644 --- a/www/xpi-preferential/Makefile +++ b/www/xpi-preferential/Makefile @@ -14,6 +14,7 @@ MAINTAINER= simon@olofsson.de COMMENT= Advanced preferences manager for Mozilla-based products XPI_DISTNAME= preferential_new_guid_ +XPI_NUM= 713 XPI_ID= {e3a1bec3-1cc1-4d20-875b-a10587471a5e} XPI_FILES= chrome/preferential.jar install.js install.rdf chrome.manifest XPI_DIRS= chrome diff --git a/www/xpi-searchstatus/Makefile b/www/xpi-searchstatus/Makefile index 814e0ff89e59..b6e7c9d9a676 100644 --- a/www/xpi-searchstatus/Makefile +++ b/www/xpi-searchstatus/Makefile @@ -13,6 +13,7 @@ CATEGORIES= www MAINTAINER= lapo@lapo.it COMMENT= Displays Google PageRank, Alexa popularity and other stats +XPI_NUM= 321 XPI_ID= {d57c9ff1-6389-48fc-b770-f78bd89b6e8a} XPI_FILES= chrome/searchstatus.jar install.js install.rdf \ readme.txt chrome.manifest diff --git a/www/xpi-server_switcher/Makefile b/www/xpi-server_switcher/Makefile index 496084dea146..42ea69999a0e 100644 --- a/www/xpi-server_switcher/Makefile +++ b/www/xpi-server_switcher/Makefile @@ -13,6 +13,7 @@ CATEGORIES= www MAINTAINER= chinsan@FreeBSD.org COMMENT= A navigational help tool for web developers +XPI_NUM= 2409 XPI_ID= {F7D360DC-B8F8-11DA-86BD-3EC8728786A0} .include "${.CURDIR}/../xpi-adblock/Makefile.xpi" diff --git a/www/xpi-videodownloader/Makefile b/www/xpi-videodownloader/Makefile index 93891607ac0c..c770034a3805 100644 --- a/www/xpi-videodownloader/Makefile +++ b/www/xpi-videodownloader/Makefile @@ -9,6 +9,7 @@ PORTNAME= videodownloader PORTVERSION= 1.1.1 DISTVERSIONSUFFIX= -fx CATEGORIES= www +MASTER_SITES= CENKES MAINTAINER= chinsan@FreeBSD.org COMMENT= Download embedded video files diff --git a/www/xpi-web_developer/Makefile b/www/xpi-web_developer/Makefile index 9fa9a25c6762..bfa82f8b35ff 100644 --- a/www/xpi-web_developer/Makefile +++ b/www/xpi-web_developer/Makefile @@ -13,6 +13,7 @@ CATEGORIES= www MAINTAINER= chinsan@FreeBSD.org COMMENT= An extension to add various web developer tools +XPI_NUM= 60 XPI_ID= {c45c406e-ab73-11d8-be73-000a95be3b12} XPI_FILES= chrome/webdeveloper.jar chrome.manifest install.js \ install.rdf license.txt