diff options
| author | Deathamns <deathamns@gmail.com> | 2014-12-02 08:13:33 +0100 |
|---|---|---|
| committer | Deathamns <deathamns@gmail.com> | 2014-12-08 08:15:08 +0100 |
| commit | 25cf80838b44da9b788f72099c876a8d09adb8d4 (patch) | |
| tree | a1af95d9a55a769af567fc5c36f3b0d98bc8e589 /tools/make-safari.sh | |
| parent | 00c662d3dddd880e3c568cd0a1b81338e0693596 (diff) | |
| download | uBlock-25cf80838b44da9b788f72099c876a8d09adb8d4.zip uBlock-25cf80838b44da9b788f72099c876a8d09adb8d4.tar.gz uBlock-25cf80838b44da9b788f72099c876a8d09adb8d4.tar.bz2 | |
Safari: small locale improvements
Since there is no API for localization in Safari, we read the locale files
every time when an extension page opens.
This commit adds a new file "make-locale-safari.py", which will make the
size of the locale files smaller.
Diffstat (limited to 'tools/make-safari.sh')
| -rw-r--r-- | tools/make-safari.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/make-safari.sh b/tools/make-safari.sh index 89f8994..1b9840a 100644 --- a/tools/make-safari.sh +++ b/tools/make-safari.sh @@ -18,4 +18,8 @@ cp src/img/icon_128.png $DES/Icon.png cp platform/safari/*.js $DES/js/ cp platform/safari/Info.plist $DES/ cp platform/safari/Settings.plist $DES/ + +echo "*** uBlock_xpi: Generating locales" +python tools/make-locale-safari.py $DES/ + echo "*** uBlock.safariextension: Package done." |