Name Description Size
browser.ini 294
browser_aboutdevtools_closes_page.js Any copyright is dedicated to the Public Domain. http://creativecommons.org/publicdomain/zero/1.0/ 736
browser_aboutdevtools_enables_devtools.js Any copyright is dedicated to the Public Domain. http://creativecommons.org/publicdomain/zero/1.0/ 1303
browser_aboutdevtools_focus_owner_tab.js Any copyright is dedicated to the Public Domain. http://creativecommons.org/publicdomain/zero/1.0/ 2661
browser_aboutdevtools_reuse_existing.js Any copyright is dedicated to the Public Domain. http://creativecommons.org/publicdomain/zero/1.0/ 1272
head.js Any copyright is dedicated to the Public Domain. http://creativecommons.org/publicdomain/zero/1.0/ 2942
.eslintrc.js 241