[BUG #8267] Make sure to focus the touched elements on mobile safari.
Minor lint fix.