Differences

This shows you the differences between two versions of the page.

--- gnome:extensions [2022/07/23 10:05] – 194.32.120.110
+++ gnome:extensions [2022/09/23 16:14] (current) – peter
@@ Line 2: / Line 2: @@
 [[Gnome:Extensions:Create an Extension|Create an Extension]]
+[[Gnome:Extensions:extension.js|extension.js]]
 [[Gnome:Extensions:Extra In-House Extensions|Extra In-House Extensions]]
@@ Line 14: / Line 16: @@
 [[Gnome:Extensions:metadata.json|metadata.json]]
+[[Gnome:Extensions:prefs.js|prefs.js]]
 [[Gnome:Extensions:Remove GNOME Shell Extensions|Remove GNOME Shell Extensions]]
@@ Line 20: / Line 24: @@
 [[Gnome:Extensions:VPN Indicator|VPN Indicator]]
+[[Gnome:Extensions:VPN Status|VPN Status]]
 ----