☰

Reload userChromeES

[userChromeES] Adds the menu item that reloads the userChromeES to the popup menu of the toolbar button and the sidebar menu.

As of 22.10.2017. See the latest version.

Аўтар
100の人 (エスパー・イーシア)
Рэйтынг
0 0 0
Версія
0.1.0
Створаны
17.10.2017
Абноўлены
22.10.2017
Памер
1.6 КБ
Сумяшчальнасць
Сумяшчальны з Firefox
Ліцэнзія
Mozilla Public License Version 2.0 (MPL 2.0)
Applies to

This script is for userChromeES (* neither Greasemonkey nor userChromeJS). Be sure to change the filename extension from .user.js to .uc.es (or .uc.js).