Source/WebInspectorUI/UserInterface/Controllers/WebInspectorExtensionController.js.orig was committed in r283857 and modified in r283859, but still has some differences from WebInspectorExtensionController.js.
It seems like it could be removed, but someone with knowledge of this source should check to see that it's okay to remove it without any further changes to WebInspectorExtensionController.js.
Found while running `find Source -name \*.orig` to look for local backup files left by patch(1) command.
Created attachment 441609 [details]
Differences between files (do not commit)
(In reply to David Kilzer (:ddkilzer) from comment #1)
> Created attachment 441609 [details]
> Differences between files (do not commit)
$ diff -u Source/WebInspectorUI/UserInterface/Controllers/WebInspectorExtensionController.js Source/WebInspectorUI/UserInterface/Controllers/WebInspectorExtensionController.js.orig > bug-231896-WebInspectorExtensionController.js.orig.diff
Created attachment 441610 [details]
Committed r284422 (243190@main): <https://commits.webkit.org/243190@main>
All reviewed patches have been landed. Closing bug and clearing flags on attachment 441610 [details].