From 16f4de75310467ca58c93c7712c76ed45f925456 Mon Sep 17 00:00:00 2001
From: Yasir Arafat <yeasherarafath@gmail.com>
Date: Mon, 24 Nov 2025 14:16:24 +0600
Subject: [PATCH] Added Google/antigravity editor support

---
 .../Foundation/Concerns/ResolvesDumpSource.php  | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)

diff --git a/src/Illuminate/Foundation/Concerns/ResolvesDumpSource.php b/src/Illuminate/Foundation/Concerns/ResolvesDumpSource.php
index c105be0b07d4..243340e76e6c 100644
--- a/src/Illuminate/Foundation/Concerns/ResolvesDumpSource.php
+++ b/src/Illuminate/Foundation/Concerns/ResolvesDumpSource.php
@@ -13,6 +13,7 @@ trait ResolvesDumpSource
      * @var array<string, string>
      */
     protected $editorHrefs = [
+        'antigravity' => 'antigravity://file/{file}:{line}',
         'atom' => 'atom://core/open/file?filename={file}&line={line}',
         'cursor' => 'cursor://file/{file}:{line}',
         'emacs' => 'emacs://open?url=file://{file}&line={line}',
@@ -74,21 +75,23 @@ public function resolveDumpSource()
         $sourceKey = null;
 
         foreach ($trace as $traceKey => $traceFile) {
-            if (! isset($traceFile['file'])) {
+            if (!isset($traceFile['file'])) {
                 continue;
             }
 
             foreach (self::$adjustableTraces as $name => $key) {
-                if (str_ends_with(
-                    $traceFile['file'],
-                    str_replace('/', DIRECTORY_SEPARATOR, $name)
-                )) {
+                if (
+                    str_ends_with(
+                        $traceFile['file'],
+                        str_replace('/', DIRECTORY_SEPARATOR, $name)
+                    )
+                ) {
                     $sourceKey = $traceKey + $key;
                     break;
                 }
             }
 
-            if (! is_null($sourceKey)) {
+            if (!is_null($sourceKey)) {
                 break;
             }
         }
@@ -161,7 +164,7 @@ protected function resolveSourceHref($file, $line)
             // ..
         }
 
-        if (! isset($editor)) {
+        if (!isset($editor)) {
             return;
         }