/**
 * This version includes a tile manager patch and has been re-minified using uglifyjs.
 * See https://github.com/mapbender/mapquery/blob/master/lib/openlayers2.debug.patch
 * See https://github.com/mapbender/mapquery/blob/master/lib/update-openlayers.sh
 */
