extension changes do not require core rebuilds

Author: mcmonkey4eva

src/WebAPI/AdminAPI.cs

@@ -1,4 +1,4 @@
-using FreneticUtilities.FreneticDataSyntax;
+using FreneticUtilities.FreneticDataSyntax;
 using FreneticUtilities.FreneticExtensions;
 using FreneticUtilities.FreneticToolkit;
 using Hardware.Info;
@@ -694,7 +694,7 @@ public static async Task<JObject> UpdateAndRestart(Session session,
         return new JObject() { ["success"] = true, ["result"] = "Update successful. Restarting... (please wait a moment, then refresh the page)" };
     }
 
-    [API.APIDescription("Installs an extension from the known extensions list. Does not trigger a restart. Does signal required rebuild.",
+    [API.APIDescription("Installs an extension from the known extensions list. Does not trigger a restart.",
         """
             "success": true
         """)]
@@ -713,11 +713,10 @@ public static async Task<JObject> InstallExtension(Session session,
             return new JObject() { ["error"] = "Extension already installed." };
         }
         await Utilities.RunGitProcess($"clone {ext.URL}", extensionsFolder);
-        File.WriteAllText("src/bin/must_rebuild", "yes");
         return new JObject() { ["success"] = true };
     }
 
-    [API.APIDescription("Triggers an extension update for an installed extension. Does not trigger a restart. Does signal required rebuild.",
+    [API.APIDescription("Triggers an extension update for an installed extension. Does not trigger a restart.",
         """
             "success": true // or false if no update available
         """)]
@@ -738,11 +737,10 @@ public static async Task<JObject> UpdateExtension(Session session,
         {
             return new JObject() { ["success"] = false };
         }
-        File.WriteAllText("src/bin/must_rebuild", "yes");
         return new JObject() { ["success"] = true };
     }
 
-    [API.APIDescription("Triggers an extension uninstallation for an installed extension. Does not trigger a restart. Does signal required rebuild.",
+    [API.APIDescription("Triggers an extension uninstallation for an installed extension. Does not trigger a restart.",
         """
             "success": true
         """)]
@@ -760,7 +758,6 @@ public static async Task<JObject> UninstallExtension(Session session,
         {
             return new JObject() { ["error"] = "Extension has invalid path, cannot delete." };
         }
-        File.WriteAllText("src/bin/must_rebuild", "yes");
         try
         {
             FileSystem.DeleteDirectory(path, UIOption.OnlyErrorDialogs, RecycleOption.SendToRecycleBin, UICancelOption.ThrowException);