Branch: refs/heads/main Home: https://github.com/WebKit/WebKit Commit: d25915a5a0c5cc5c2a0b1e2b38f4010a309b0419 https://github.com/WebKit/WebKit/commit/d25915a5a0c5cc5c2a0b1e2b38f4010a309b0419 Author: Patrick Angle <pan...@apple.com> Date: 2023-02-15 (Wed, 15 Feb 2023)
Changed paths: M Source/WebInspectorUI/UserInterface/Base/Main.js M Source/WebInspectorUI/UserInterface/Base/WebInspector.js Log Message: ----------- Web Inspector: Add support for getting user agents from WebKitAdditions if present https://bugs.webkit.org/show_bug.cgi?id=252030 rdar://96018617 Reviewed by Devin Rousso and Tim Horton. Ports may desire to provide their own set of User Agents for Web Inspector to display for remote inspection via WebKitAdditions. * Source/WebInspectorUI/UserInterface/Base/Main.js: (WI.loaded): - Place an empty WebKitAdditions in the global scope if one doesn't already exist, since optional chaining can't be used to check for a non-declared root object. - Also some drive-by indentation fixes for the UAs. Canonical link: https://commits.webkit.org/260335@main _______________________________________________ webkit-changes mailing list webkit-changes@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-changes