mozilla-b2g/gaia — pull request #23388 by garvankeeley (2014-08-27 22:31:54+00:00)
Title: bug1056857-Part 1: added developer checkbox for ignoring GPS. r=ehung

This is just the GUI side, the other parts of this bug are implementation of this.