Fix detection for Opera Mini

Opera Mini v7 doesn’t support `placeholder` although its DOM seems to indicate so. To work around this, there’s no other way than UA sniffing, sadly :(

Fixes #173. Closes #130.