marijnh/CodeMirror — pull request #2034 by onceuponatimeforever (2013-12-09 01:46:53+00:00)
Title: Fixed #2033 --Switched from user agent to feature detection.

Feature detection is more secure and reliable than using userAgent's arbitrary string matching
for accurate browser identification.

https://github.com/marijnh/CodeMirror/issues/2033