[webkit-reviews] review requested: [Bug 161386] REGRESSION (r201701): Unable to copy from CodeMirror editor version used in Jenkins install website : [Attachment 287400] patch

[bugzilla-daemon at webkit.org]

Antti Koivisto <koivisto at iki.fi> has asked  for review:
Bug 161386: REGRESSION (r201701): Unable to copy from CodeMirror editor version
used in Jenkins install website
https://bugs.webkit.org/show_bug.cgi?id=161386

Attachment 287400: patch

https://bugs.webkit.org/attachment.cgi?id=287400&action=review