[tor-commits] [orbot/master] port settings use inputType=number