зеркало из https://github.com/mozilla/gecko-dev.git
Bug 310010 - DOM Inspector from Firefox prior to 1.0 cannot be uninstalled in 1.4 and above. r=bsmedberg
This commit is contained in:
Родитель
c4a705e365
Коммит
cfed4ef922
|
@ -11,7 +11,14 @@ defaults/pref/winpref.js
|
|||
defaults/pref/xpinstall.js
|
||||
defaults/pref/bug307259.js
|
||||
defaults/pref/bug259708.js
|
||||
defaults/profile/extensions/{972ce4c6-7e08-4474-a285-3208198ce6fd}/install.rdf
|
||||
defaults/profile/extensions/{972ce4c6-7e08-4474-a285-3208198ce6fd}
|
||||
defaults/profile/extensions/Extensions.rdf
|
||||
defaults/profile/extensions/installed-extensions.txt
|
||||
defaults/profile/extensions/
|
||||
defaults/profile/US/
|
||||
extensions/{641d8d09-7dda-4850-8228-ac0ab65e2ac9}/install.rdf
|
||||
extensions/{641d8d09-7dda-4850-8228-ac0ab65e2ac9}/
|
||||
searchplugins/dictionary.src
|
||||
searchplugins/dictionary.png
|
||||
searchplugins/
|
||||
|
|
|
@ -3237,6 +3237,12 @@ ExtensionManager.prototype = {
|
|||
if (profileDefaultTheme && profileDefaultTheme.exists())
|
||||
profileDefaultTheme.remove(true);
|
||||
|
||||
// Version 0.9 profiles may have DOMi 1.0 with just an install.rdf
|
||||
var profileDOMi = getDirNoCreate(KEY_PROFILEDS, [DIR_EXTENSIONS,
|
||||
"{641d8d09-7dda-4850-8228-ac0ab65e2ac9}"]);
|
||||
if (profileDOMi && profileDOMi.exists())
|
||||
profileDOMi.remove(true);
|
||||
|
||||
// Prepare themes for installation
|
||||
// Only enumerate directories in the app-profile and app-global locations.
|
||||
var locations = [KEY_APP_PROFILE, KEY_APP_GLOBAL];
|
||||
|
|
Загрузка…
Ссылка в новой задаче