update path in devtools patch

rogerwang · rogerwang · commit cae97b264d7c · 2021-05-24T10:58:49.000-06:00
diff --git a/patch/patches/devtools.patch b/patch/patches/devtools.patch
@@ -1,7 +1,7 @@
-diff --git a/front_end/extensions/ExtensionServer.ts b/front_end/extensions/ExtensionServer.ts
+diff --git a/front_end/models/extensions/ExtensionServer.ts b/front_end/models/extensions/ExtensionServer.ts
 index d75db4c1a..346337d26 100644
---- front_end/extensions/ExtensionServer.ts
-+++ front_end/extensions/ExtensionServer.ts
+--- front_end/models/extensions/ExtensionServer.ts
++++ front_end/models/extensions/ExtensionServer.ts
 @@ -942,6 +942,7 @@ export class ExtensionServer extends Common.ObjectWrapper.ObjectWrapper {
    }
  
