Index: trunk/phase3/skins/common/wikibits.js |
— | — | @@ -12,7 +12,7 @@ |
13 | 13 | var is_opera = true; |
14 | 14 | var is_opera_preseven = (window.opera && !document.childNodes); |
15 | 15 | var is_opera_seven = (window.opera && document.childNodes); |
16 | | - var is_opera_95 = clientPC.search(/opera\/(9.[5-9]|[1-9][0-9])/); |
| 16 | + var is_opera_95 = (clientPC.search(/opera\/(9.[5-9]|[1-9][0-9])/)!=-1); |
17 | 17 | } |
18 | 18 | |
19 | 19 | // Global external objects used by this script. |