diff options
Diffstat (limited to 'devel/electron7/files/patch-ui_webui_resources_js_cr.js')
| -rw-r--r-- | devel/electron7/files/patch-ui_webui_resources_js_cr.js | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/devel/electron7/files/patch-ui_webui_resources_js_cr.js b/devel/electron7/files/patch-ui_webui_resources_js_cr.js new file mode 100644 index 000000000000..457a55e00eb9 --- /dev/null +++ b/devel/electron7/files/patch-ui_webui_resources_js_cr.js @@ -0,0 +1,14 @@ +--- ui/webui/resources/js/cr.js.orig 2019-12-12 12:41:35 UTC ++++ ui/webui/resources/js/cr.js +@@ -436,6 +436,11 @@ var cr = cr || function(global) { + get doc() { + return document; + }, ++ ++ /** Whether this is on *BSD. */ ++ get isBSD() { ++ return /BSD/.test(navigator.userAgent); ++ }, + + /** Whether we are using a Mac or not. */ + get isMac() { |