From 184dbcdacc0404b6fb979995f11732ce0782df04 Mon Sep 17 00:00:00 2001
From: Joar Wandborg <git@wandborg.com>
Date: Fri, 27 Jan 2012 01:55:50 +0100
Subject: Adding previously erroneously gitignored
 extlib/leaflet/{lib,dist,build}/ files

---
 extlib/leaflet/build/Makefile   |  65 +++++++++++++
 extlib/leaflet/build/build.bat  |  65 +++++++++++++
 extlib/leaflet/build/build.html | 208 +++++++++++++++++++++++++++++++++++++++
 extlib/leaflet/build/deps.js    | 211 ++++++++++++++++++++++++++++++++++++++++
 4 files changed, 549 insertions(+)
 create mode 100644 extlib/leaflet/build/Makefile
 create mode 100644 extlib/leaflet/build/build.bat
 create mode 100644 extlib/leaflet/build/build.html
 create mode 100644 extlib/leaflet/build/deps.js

(limited to 'extlib/leaflet/build')

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
-- 
cgit v1.2.3