Update HRP geo file

This commit is contained in:
2019-03-06 22:27:32 +01:00
parent dedb9a18ae
commit 13dbdea2fb
3 changed files with 13692 additions and 2156 deletions

View File

@@ -1,5 +1,10 @@
<?php
/**
* To convert a gpx file:
* 1. Add file <file_name>.gpx to geo/ folder
* 2. Assign file to project: UPDATE projects SET geofile = '<file_name>.geojson'
*/
class Converter extends PhpObject {
const GPX_EXT = '.gpx';