mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-17 23:24:51 +00:00
extensionUtils: Remove unused property
https://bugzilla.gnome.org/show_bug.cgi?id=690173
This commit is contained in:
parent
378df515d0
commit
28aa9201f0
1 changed files with 0 additions and 1 deletions
|
|
@ -132,7 +132,6 @@ function createExtensionObject(uuid, dir, type) {
|
|||
extension.type = type;
|
||||
extension.dir = dir;
|
||||
extension.path = dir.get_path();
|
||||
extension.error = '';
|
||||
extension.hasPrefs = dir.get_child('prefs.js').query_exists(null);
|
||||
|
||||
extensions[uuid] = extension;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue