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>
7 lines
391 B
Text
7 lines
391 B
Text
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/
|