975fb1d60e
The primary goal of this extension is to provide the tools needed to install and manage extensions and themes locally. To do this the extension provides multi-extension installation support, hacking capabilities to the Extension/Theme manager windows, features to find and troubleshoot Extensions/Themes Build, GUID and Profile information. WWW: http://mrtech.com/extensions/local_install/ PR: ports/101119 Submitted by: chinsan <chinsan.tw@gmail.com>
16 lines
662 B
Text
16 lines
662 B
Text
%%XPI_XPIDIR%%/chrome/local_install.jar
|
|
%%XPI_XPIDIR%%/chrome.manifest
|
|
%%XPI_XPIDIR%%/components/local_install.js
|
|
%%XPI_XPIDIR%%/components/nightly.xpt
|
|
%%XPI_XPIDIR%%/components/nsDownloadListener.js
|
|
%%XPI_XPIDIR%%/components/nsNightlyToolsService.js
|
|
%%XPI_XPIDIR%%/defaults/preferences/local_install.js
|
|
%%XPI_XPIDIR%%/defaults/preferences/userChrome-example.css
|
|
%%XPI_XPIDIR%%/defaults/preferences/userChrome.js
|
|
%%XPI_XPIDIR%%/defaults/preferences/userContent-example.css
|
|
%%XPI_XPIDIR%%/install.js
|
|
%%XPI_XPIDIR%%/install.rdf
|
|
@dirrm %%XPI_XPIDIR%%/chrome
|
|
@dirrm %%XPI_XPIDIR%%/components
|
|
@dirrm %%XPI_XPIDIR%%/defaults/preferences
|
|
@dirrm %%XPI_XPIDIR%%/defaults
|