buat query menampilkan button dengan geolocation

Bagaimana cara menampilkan tombol ketika user sedang berada di lokasi yg diharuskan? Saya coba menggunakan https://packagist.org/packages/anthonymartin/geo-location untuk menghitung radius

use AnthonyMartin\GeoLocation\GeoLocation as GeoLocation;

    $edison = GeoLocation::fromDegrees(40.5187154, -74.4120953);
    $coordinates = $edison->boundingCoordinates(3, 'miles');

    echo "min latitude: " . $coordinates[0]->getLatitudeInDegrees() . " \n";
    echo "min longitude: " . $coordinates[0]->getLongitudeInDegrees() . " \n";

    echo "max latitude: " . $coordinates[1]->getLatitudeInDegrees() . " \n";
    echo "max longitude: " . $coordinates[1]->getLongitudeInDegrees() . " \n";

    /**
    *   Returns:
    *   min latitude: 40.47529593323
    *   min longitude: -74.469211617725
    *   max latitude: 40.56213486677
    *   max longitude: -74.354978982275
    **/

Lalu utk get location nya :

<script>
var x = document.getElementById("demo");
 function getLocation() {
if (navigator.geolocation) {
    navigator.geolocation.getCurrentPosition(showPosition);
} else {
    x.innerHTML = "Geolocation is not supported by this browser.";
}
}
function showPosition(position) {
x.innerHTML = "Latitude: " + position.coords.latitude +
"<br>Longitude: " + position.coords.longitude;
}
</script>

Bagaimana query if else nya ya : "If user dalam radius(kampus) maka tombol muncul, jika tidak maka "Anda Tidak di kampus"