From e420db1f1f9f1028cc0b40561b8798c3fa35e1a0 Mon Sep 17 00:00:00 2001
From: gorhill <rhill@raymondhill.net>
Date: Sun, 2 Apr 2017 10:55:50 -0400
Subject: [PATCH] keep using `.xpi` for webext

---
 .travis.yml          | 2 +-
 tools/make-webext.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index a46f7f9c2..43c8d42cd 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -4,7 +4,7 @@ env:
   matrix:
   - BROWSER=chromium EXT=zip
   - BROWSER=firefox EXT=xpi
-  - BROWSER=webext EXT=zip
+  - BROWSER=webext EXT=xpi
 script: ./tools/make-${BROWSER}.sh all
 deploy:
   provider: releases
diff --git a/tools/make-webext.sh b/tools/make-webext.sh
index 6166bcef2..e9fda8314 100755
--- a/tools/make-webext.sh
+++ b/tools/make-webext.sh
@@ -39,7 +39,7 @@ python tools/make-webext-meta.py $DES/
 if [ "$1" = all ]; then
     echo "*** uBlock0.webext: Creating package..."
     pushd $DES > /dev/null
-    zip ../$(basename $DES).zip -qr *
+    zip ../$(basename $DES).xpi -qr *
     popd > /dev/null
 fi