Ticket #6089: 6089.patch

_source/core/env.js

@@ -86 +86 @@
                         mobile : ( agent.indexOf( 'mobile' ) > -1 ),
 
                         /**
+                         * Indicate that the editing infrastructure is supported.
+                         */
+                        contenteditable : !! ( document.designMode || document.createElement( 'div' ).contentEditable ),
+
+                        /**
                          * Indicates that the browser has a custom domain enabled. This has
                          * been set with "document.domain".
                          * @returns {Boolean} "true" if a custom domain is enabled.
@@ -220 +225 @@
                  *     alert( "Your browser is pretty cool!" );
                  */
                 env.isCompatible =
-                        !env.mobile && (
+                        env.contenteditable && (
                         ( env.ie && version >= 6 ) ||
                         ( env.gecko && version >= 10801 ) ||
                         ( env.opera && version >= 9.5 ) ||