2014-02-28 javascript : opera-miniかどうかの判別コード js if(typeof operamini !== 'undefined'){ if(operamini){ alert('operamini'); } }