Adding previously erroneously gitignored extlib/leaflet/{lib,dist,build}/ files

4 files changed, 549 insertions, 0 deletions

diff --git a/extlib/leaflet/build/Makefile b/extlib/leaflet/build/Makefile
new file mode 100644
index 00000000..22d65483
--- /dev/null
+++ b/extlib/leaflet/build/Makefile
@@ -0,0 +1,65 @@
+../dist/leaflet.js: Makefile

+	java -jar ../lib/closure-compiler/compiler.jar \

+	--js ../src/Leaflet.js \

+	--js ../src/core/Util.js \

+	--js ../src/core/Class.js \

+	--js ../src/core/Events.js \

+	--js ../src/core/Browser.js \

+	--js ../src/geometry/Point.js \

+	--js ../src/geometry/Bounds.js \

+	--js ../src/geometry/Transformation.js \

+	--js ../src/geometry/LineUtil.js \

+	--js ../src/geometry/PolyUtil.js \

+	--js ../src/dom/DomEvent.js \

+	--js ../src/dom/DomEvent.DoubleTap.js \

+	--js ../src/dom/DomUtil.js \

+	--js ../src/dom/Draggable.js \

+	--js ../src/dom/transition/Transition.js \

+	--js ../src/dom/transition/Transition.Native.js \

+	--js ../src/dom/transition/Transition.Timer.js \

+	--js ../src/geo/LatLng.js \

+	--js ../src/geo/LatLngBounds.js \

+	--js ../src/geo/projection/Projection.js \

+	--js ../src/geo/projection/Projection.SphericalMercator.js \

+	--js ../src/geo/projection/Projection.LonLat.js \

+	--js ../src/geo/projection/Projection.Mercator.js \

+	--js ../src/geo/crs/CRS.js \

+	--js ../src/geo/crs/CRS.EPSG3857.js \

+	--js ../src/geo/crs/CRS.EPSG4326.js \

+	--js ../src/geo/crs/CRS.EPSG3395.js \

+	--js ../src/layer/LayerGroup.js \

+	--js ../src/layer/FeatureGroup.js \

+	--js ../src/layer/tile/TileLayer.js \

+	--js ../src/layer/tile/TileLayer.WMS.js \

+	--js ../src/layer/tile/TileLayer.Canvas.js \

+	--js ../src/layer/ImageOverlay.js \

+	--js ../src/layer/Popup.js \

+	--js ../src/layer/marker/Icon.js \

+	--js ../src/layer/marker/Marker.js \

+	--js ../src/layer/marker/Marker.Popup.js \

+	--js ../src/layer/vector/Path.js \

+	--js ../src/layer/vector/Path.VML.js \

+	--js ../src/layer/vector/Path.Popup.js \

+	--js ../src/layer/vector/Polyline.js \

+	--js ../src/layer/vector/Polygon.js \

+	--js ../src/layer/vector/MultiPoly.js \

+	--js ../src/layer/vector/Circle.js \

+	--js ../src/layer/vector/CircleMarker.js \

+	--js ../src/layer/GeoJSON.js \

+	--js ../src/handler/Handler.js \

+	--js ../src/handler/MapDrag.js \

+	--js ../src/handler/TouchZoom.js \

+	--js ../src/handler/ScrollWheelZoom.js \

+	--js ../src/handler/DoubleClickZoom.js \

+	--js ../src/handler/ShiftDragZoom.js \

+	--js ../src/handler/MarkerDrag.js \

+	--js ../src/control/Control.js \

+	--js ../src/control/Control.Zoom.js \

+	--js ../src/control/Control.Attribution.js \

+	--js ../src/map/Map.js \

+	--js ../src/map/ext/Map.Geolocation.js \

+	--js ../src/map/ext/Map.Popup.js \

+	--js ../src/map/ext/Map.PanAnimation.js \

+	--js ../src/map/ext/Map.ZoomAnimation.js \

+	--js ../src/map/ext/Map.Control.js \

+	--js_output_file ../dist/leaflet.js

diff --git a/extlib/leaflet/build/build.bat b/extlib/leaflet/build/build.bat
new file mode 100644
index 00000000..a09d2259
--- /dev/null
+++ b/extlib/leaflet/build/build.bat
@@ -0,0 +1,65 @@
+@echo off

+java -jar ../lib/closure-compiler/compiler.jar ^

+--js ../src/Leaflet.js ^

+--js ../src/core/Util.js ^

+--js ../src/core/Class.js ^

+--js ../src/core/Events.js ^

+--js ../src/core/Browser.js ^

+--js ../src/geometry/Point.js ^

+--js ../src/geometry/Bounds.js ^

+--js ../src/geometry/Transformation.js ^

+--js ../src/geometry/LineUtil.js ^

+--js ../src/geometry/PolyUtil.js ^

+--js ../src/dom/DomEvent.js ^

+--js ../src/dom/DomEvent.DoubleTap.js ^

+--js ../src/dom/DomUtil.js ^

+--js ../src/dom/Draggable.js ^

+--js ../src/dom/transition/Transition.js ^

+--js ../src/dom/transition/Transition.Native.js ^

+--js ../src/dom/transition/Transition.Timer.js ^

+--js ../src/geo/LatLng.js ^

+--js ../src/geo/LatLngBounds.js ^

+--js ../src/geo/projection/Projection.js ^

+--js ../src/geo/projection/Projection.SphericalMercator.js ^

+--js ../src/geo/projection/Projection.LonLat.js ^

+--js ../src/geo/projection/Projection.Mercator.js ^

+--js ../src/geo/crs/CRS.js ^

+--js ../src/geo/crs/CRS.EPSG3857.js ^

+--js ../src/geo/crs/CRS.EPSG4326.js ^

+--js ../src/geo/crs/CRS.EPSG3395.js ^

+--js ../src/layer/LayerGroup.js ^

+--js ../src/layer/FeatureGroup.js ^

+--js ../src/layer/tile/TileLayer.js ^

+--js ../src/layer/tile/TileLayer.WMS.js ^

+--js ../src/layer/tile/TileLayer.Canvas.js ^

+--js ../src/layer/ImageOverlay.js ^

+--js ../src/layer/Popup.js ^

+--js ../src/layer/marker/Icon.js ^

+--js ../src/layer/marker/Marker.js ^

+--js ../src/layer/marker/Marker.Popup.js ^

+--js ../src/layer/vector/Path.js ^

+--js ../src/layer/vector/Path.VML.js ^

+--js ../src/layer/vector/Path.Popup.js ^

+--js ../src/layer/vector/Polyline.js ^

+--js ../src/layer/vector/Polygon.js ^

+--js ../src/layer/vector/MultiPoly.js ^

+--js ../src/layer/vector/Circle.js ^

+--js ../src/layer/vector/CircleMarker.js ^

+--js ../src/layer/GeoJSON.js ^

+--js ../src/handler/Handler.js ^

+--js ../src/handler/MapDrag.js ^

+--js ../src/handler/TouchZoom.js ^

+--js ../src/handler/ScrollWheelZoom.js ^

+--js ../src/handler/DoubleClickZoom.js ^

+--js ../src/handler/ShiftDragZoom.js ^

+--js ../src/handler/MarkerDrag.js ^

+--js ../src/control/Control.js ^

+--js ../src/control/Control.Zoom.js ^

+--js ../src/control/Control.Attribution.js ^

+--js ../src/map/Map.js ^

+--js ../src/map/ext/Map.Geolocation.js ^

+--js ../src/map/ext/Map.Popup.js ^

+--js ../src/map/ext/Map.PanAnimation.js ^

+--js ../src/map/ext/Map.ZoomAnimation.js ^

+--js ../src/map/ext/Map.Control.js ^

+--js_output_file ../dist/leaflet.js
\ No newline at end of file
diff --git a/extlib/leaflet/build/build.html b/extlib/leaflet/build/build.html
new file mode 100644
index 00000000..c60e5f31
--- /dev/null
+++ b/extlib/leaflet/build/build.html
@@ -0,0 +1,208 @@
+<!DOCTYPE html>

+<html>

+<head>

+	<title>Leaflet Build Helper</title>

+	

+	<script type="text/javascript" src="deps.js"></script>

+	

+	<style type="text/css">

+		body {

+			font: 12px/1.4 Verdana, sans-serif;

+			text-align: center;

+			padding: 2em 0;

+		}

+		#container {

+			text-align: left;

+			margin: 0 auto;

+			width: 600px;

+		}

+		#deplist {

+			list-style: none;

+			padding: 0;

+		}

+		#deplist li {

+			padding-top: 10px;

+			padding-bottom: 10px;

+			border-top: 1px solid #eee;

+		}

+		#deplist li.heading {

+			border: none;

+			background: #eee;

+			padding: 5px 10px;

+			margin-top: 10px;

+		}

+		#deplist input {

+			float: left;

+			margin-right: 5px;

+			display: inline;

+		}

+		#deplist label {

+			float: left;

+			width: 190px;

+			font-weight: bold;

+		}

+		#deplist div {

+			display: table-cell;

+			height: 1%;

+		}

+		#deplist .desc {

+		} 

+		

+		#deplist .deps {

+			color: #777;

+		}

+		

+		#command {

+			width: 100%;

+		}

+	</style>

+</head>

+<body>

+	<div id="container">

+		<h1>Leaflet Build Helper</h1>

+		

+		<p>

+			<a id="select-all" href="#all">Select All</a> | 

+			<a id="deselect-all" href="#none">Deselect All</a>

+		</p>

+		

+		<ul id="deplist"></ul>

+		

+		<p>

+			Run this command in the build directory:<br />

+			<input type="text" id="command" />

+		</p>

+	</div>

+	

+	<script type="text/javascript">

+		var deplist = document.getElementById('deplist'),

+			commandInput = document.getElementById('command');

+		

+		document.getElementById('select-all').onclick = function() {

+			var checks = deplist.getElementsByTagName('input');

+			for (var i = 0; i < checks.length; i++) {

+				checks[i].checked = true;

+			}

+			updateCommand();

+			return false;

+		};

+		

+		document.getElementById('deselect-all').onclick = function() {

+			var checks = deplist.getElementsByTagName('input');

+			for (var i = 0; i < checks.length; i++) {

+				if (!checks[i].disabled) {

+					checks[i].checked = false;

+				}

+			}

+			updateCommand();

+			return false;

+		};

+		

+		function updateCommand() {

+			var files = {};

+			var checks = deplist.getElementsByTagName('input');

+			for (var i = 0; i < checks.length; i++) {

+				if (checks[i].checked) {

+					var srcs = deps[checks[i].id].src;

+					for (var j = 0; j < srcs.length; j++) {

+						files[srcs[j]] = true;

+					}

+				}

+			}

+			

+			var command = 'java -jar ../lib/closure-compiler/compiler.jar ';

+			for (var src in files) {

+				command += '--js ../src/' + src + ' ';

+			}

+			command += '--js_output_file ../dist/leaflet-custom.js';

+			

+			commandInput.value = command;

+		}

+		

+		commandInput.onclick = function() {

+			commandInput.focus();

+			commandInput.select();

+		};

+		

+		function onCheckboxChange() {

+			if (this.checked) {

+				var depDeps = deps[this.id].deps;

+				if (!depDeps) { return; }

+				for (var i = 0; i < depDeps.length; i++) {

+					var check = document.getElementById(depDeps[i]);

+					if (!check.checked) {

+						check.checked = true;

+						check.onchange();

+					}

+				}

+			} else {

+				var checks = deplist.getElementsByTagName('input');

+				for (var i = 0; i < checks.length; i++) {

+					var dep = deps[checks[i].id];

+					if (!dep.deps) { continue; }

+					for (var j = 0; j < dep.deps.length; j++) {

+						if (dep.deps[j] == this.id) {

+							if (checks[i].checked) {

+								checks[i].checked = false;

+								checks[i].onchange();

+							}

+						}

+					}

+				}

+			}

+			updateCommand();

+		}

+	

+		for (var name in deps) {

+			var li = document.createElement('li');

+			

+			if (deps[name].heading) {

+				var heading = document.createElement('li');

+				heading.className = 'heading';

+				heading.appendChild(document.createTextNode(deps[name].heading));

+				deplist.appendChild(heading);

+			}

+			

+			var div = document.createElement('div');

+

+			var label = document.createElement('label');

+

+			var check = document.createElement('input');

+			check.type = 'checkbox';

+			check.id = name;

+			label.appendChild(check);

+			check.onchange = onCheckboxChange;

+			

+			if (name == 'Core') {

+				check.checked = true;

+				check.disabled = true;

+			}

+			

+			label.appendChild(document.createTextNode(name));

+			label.htmlFor = name;

+			

+			li.appendChild(label);

+			

+			var desc = document.createElement('span');

+			desc.className = 'desc';

+			desc.appendChild(document.createTextNode(deps[name].desc));

+

+			var depText = deps[name].deps && deps[name].deps.join(', ');

+			if (depText) {

+				var depspan = document.createElement('span');

+				depspan.className = 'deps';

+				depspan.appendChild(document.createTextNode('Deps: ' + depText));

+			}

+			

+			div.appendChild(desc);

+			div.appendChild(document.createElement('br'));

+			if (depText) { div.appendChild(depspan); }

+			

+			li.appendChild(div);

+			

+			deplist.appendChild(li);

+		}

+		updateCommand();

+	</script>

+</body>

+</html>
\ No newline at end of file
diff --git a/extlib/leaflet/build/deps.js b/extlib/leaflet/build/deps.js
new file mode 100644
index 00000000..42735648
--- /dev/null
+++ b/extlib/leaflet/build/deps.js
@@ -0,0 +1,211 @@
+var deps = {

+	Core: {

+		src: ['Leaflet.js',

+		      'core/Browser.js', 

+		      'core/Class.js', 

+		      'core/Events.js', 

+		      'core/Util.js',

+		      'dom/DomUtil.js',

+		      'geo/LatLng.js',

+		      'geo/LatLngBounds.js',

+		      'geo/projection/Projection.js',

+		      'geo/projection/Projection.SphericalMercator.js',

+		      'geo/projection/Projection.LonLat.js',

+		      'geo/crs/CRS.js',

+		      'geo/crs/CRS.EPSG3857.js',

+		      'geo/crs/CRS.EPSG4326.js',

+		      'geometry/Bounds.js',

+		      'geometry/Point.js',

+		      'geometry/Transformation.js',

+		      'map/Map.js'],

+		desc: 'The core of the library, including OOP, events, DOM facilities, basic units, projections (EPSG:3857 and EPSG:4326) and the base Map class.'

+	},

+	

+	

+	EPSG3395: {

+		src: ['geo/projection/Projection.Mercator.js',

+		      'geo/crs/CRS.EPSG3395.js'],

+		desc: 'EPSG:3395 projection (used by some map providers).',

+		heading: 'Additional projections'

+	},

+	

+	TileLayer: {

+		src: ['layer/tile/TileLayer.js'],

+		desc: 'The base class for displaying tile layers on the map.',

+		heading: 'Layers'

+	},

+	

+	TileLayerWMS: {

+		src: ['layer/tile/TileLayer.WMS.js'],

+		desc: 'WMS tile layer.',

+		deps: ['TileLayer']

+	},

+	

+	TileLayerCanvas: {

+		src: ['layer/tile/TileLayer.Canvas.js'],

+		desc: 'Tile layer made from canvases (for custom drawing purposes).',

+		deps: ['TileLayer']

+	},

+	

+	ImageOverlay: {

+		src: ['layer/ImageOverlay.js'],

+		desc: 'Used to display an image over a particular rectangular area of the map.'

+	},

+	

+	Marker: {

+		src: ['layer/marker/Icon.js', 'layer/marker/Marker.js'],

+		desc: 'Markers to put on the map.'

+	},

+	

+	Popup: {

+		src: ['layer/Popup.js', 'layer/marker/Marker.Popup.js', 'map/ext/Map.Popup.js'],

+		deps: ['Marker'],

+		desc: 'Used to display the map popup (used mostly for binding HTML data to markers and paths on click).'

+	},

+	

+	LayerGroup: {

+		src: ['layer/LayerGroup.js'],

+		desc: 'Allows grouping several layers to handle them as one.'

+	},

+	

+	FeatureGroup: {

+		src: ['layer/FeatureGroup.js'],

+		deps: ['LayerGroup', 'Popup'],

+		desc: 'Extends LayerGroup with mouse events and bindPopup method shared between layers.'

+	},

+	

+	

+	Path: {

+		src: ['layer/vector/Path.js', 'layer/vector/Path.Popup.js'],

+		desc: 'Vector rendering core (SVG-powered), enables overlaying the map with SVG paths.',

+		heading: 'Vector layers'

+	},

+	

+	PathVML: {

+		src: ['layer/vector/Path.VML.js'],

+		desc: 'VML fallback for vector rendering core (IE 6-8).'

+	},

+	

+	Polyline: {

+		src: ['geometry/LineUtil.js', 'layer/vector/Polyline.js'],

+		deps: ['Path'],

+		desc: 'Polyline overlays.'

+	},

+	

+	Polygon: {

+		src: ['geometry/PolyUtil.js', 'layer/vector/Polygon.js'],

+		deps: ['Polyline'],

+		desc: 'Polygon overlays.'

+	},

+

+	MultiPoly: {

+		src: ['layer/vector/MultiPoly.js'],

+		deps: ['FeatureGroup', 'Polyline', 'Polygon'],

+		desc: 'MultiPolygon and MultyPolyline layers.'

+	},

+

+	Circle: {

+		src: ['layer/vector/Circle.js'],

+		deps: ['Path'],

+		desc: 'Circle overlays (with radius in meters).'

+	},

+	

+	CircleMarker: {

+		src: ['layer/vector/CircleMarker.js'],

+		deps: ['Circle'],

+		desc: 'Circle overlays with a constant pixel radius.'

+	},

+	

+	GeoJSON: {

+		src: ['layer/GeoJSON.js'],

+		deps: ['Marker', 'MultiPoly', 'FeatureGroup'],

+		desc: 'GeoJSON layer, parses the data and adds corresponding layers above.'

+	},

+

+	

+	MapDrag: {

+		src: ['dom/DomEvent.js',

+		      'dom/Draggable.js',

+		      'handler/Handler.js',

+		      'handler/MapDrag.js'],

+		desc: 'Makes the map draggable (by mouse or touch).',

+		heading: 'Interaction'

+	},

+	

+	MouseZoom: {

+		src: ['dom/DomEvent.js',

+		      'handler/Handler.js',

+		      'handler/DoubleClickZoom.js',

+		      'handler/ScrollWheelZoom.js'],

+		desc: 'Scroll wheel zoom and double click zoom on the map.'

+	},

+	

+	TouchZoom: {

+		src: ['dom/DomEvent.js',

+		      'dom/DomEvent.DoubleTap.js',

+		      'handler/Handler.js',

+		      'handler/TouchZoom.js'],

+		deps: ['MapAnimationZoom'],

+		desc: 'Enables smooth touch zooming on iOS and double tap on iOS/Android.'

+	},

+	

+	ShiftDragZoom: {

+		src: ['handler/ShiftDragZoom.js'],

+		desc: 'Enables zooming to bounding box by shift-dragging the map.'

+	},

+	

+	MarkerDrag: {

+		src: ['handler/MarkerDrag.js'],

+		desc: 'Makes markers draggable (by mouse or touch).'

+	},

+		

+	

+	ControlZoom: {

+		src: ['control/Control.js', 

+		      'map/ext/Map.Control.js', 

+		      'control/Control.Zoom.js'],

+		heading: 'Controls',

+		desc: 'Basic zoom control with two buttons (zoom in / zoom out).'

+	},

+	

+	ControlZoom: {

+		src: ['control/Control.js', 

+		      'map/ext/Map.Control.js', 

+		      'control/Control.Attribution.js'],

+		desc: 'Attribution control.'

+	},

+	

+	

+	MapAnimationNative: {

+		src: ['dom/DomEvent.js',

+		      'dom/transition/Transition.js',

+		      'dom/transition/Transition.Native.js'],

+		desc: 'Animation core that uses CSS3 Transitions (for powering pan & zoom animations). Works on mobile webkit-powered browsers and some modern desktop browsers.',

+		heading: 'Visual effects'

+	},

+	

+	MapAnimationFallback: {

+		src: ['dom/transition/Transition.Timer.js'],

+		deps: ['MapAnimationNative'],

+		desc: 'Timer-based animation fallback for browsers that don\'t support CSS3 transitions.'

+	},

+	

+	MapAnimationPan: {

+		src: ['map/ext/Map.PanAnimation.js'],

+		deps: ['MapAnimationNative'],

+		desc: 'Panning animation. Can use both native and timer-based animation.'

+	},

+	

+	MapAnimationZoom: {

+		src: ['map/ext/Map.ZoomAnimation.js'],

+		deps: ['MapAnimationPan', 'MapAnimationNative'],

+		desc: 'Smooth zooming animation. So far it works only on browsers that support CSS3 Transitions.'

+	},

+	

+	

+	MapGeolocation: {

+		src: ['map/ext/Map.Geolocation.js'],

+		desc: 'Adds Map#locate method and related events to make geolocation easier.',

+		heading: 'Misc'

+	}

+};
\ No newline at end of file