marijnh/CodeMirror — pull request #1167 by peterkroon (2013-01-18 12:12:37+00:00)
Title: Add Opera Mobile UA to the mobile list

Add Opera Mobile UA to the mobile list.