Update OpenLayers and GeoExt doc links to newer versions

src/exercises/_final.html

@@ -6,7 +6,7 @@
     <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/extjs/6.2.0/classic/theme-triton/resources/theme-triton-all.css" type="text/css" />
     <script src="https://cdnjs.cloudflare.com/ajax/libs/extjs/6.2.0/ext-all.js"></script>
     <link rel="stylesheet" href="./lib/ol/ol.css" type="text/css" />
-    <link rel="stylesheet" href="http://geoext.github.io/geoext3/v3.0.0/resources/css/gx-popup.css" type="text/css" />
+    <link rel="stylesheet" href="http://geoext.github.io/geoext3/v3.1.0/resources/css/gx-popup.css" type="text/css" />
     <script src="./lib/ol/ol.js"></script>
     <script src="https://geoext.github.io/geoext3/v3.1.0/GeoExt.js"></script>
     <style>

src/feature-grid/create.md

@@ -131,7 +131,7 @@ Ext.onReady(function(){
 </html>
 ```
 
-* Instead of a generic `Ext.data.Store`, use a `GeoExt.data.store.Features`. Look up the API documentation on https://geoext.github.io/geoext3/v3.0.0/docs for further details.
+* Instead of a generic `Ext.data.Store`, use a `GeoExt.data.store.Features`. Look up the API documentation on https://geoext.github.io/geoext3/v3.1.0/docs for further details.
 
 * Make sure you reference your vector layer and the map to work on when configuring the store.
 

src/first-steps/hello-geoext.md

@@ -42,7 +42,7 @@ Ext.onReady(function(){
 
 * Add the JavaScript for GeoExt: `https://geoext.github.io/geoext3/v3.1.0/GeoExt.js`
 
-* Most GeoExt components don't need special CSS. If you use the `Popup`-components, you may want to include the following CSS file: `https://geoext.github.io/geoext3/v3.0.0/resources/css/gx-popup.css`
+* Most GeoExt components don't need special CSS. If you use the `Popup`-components, you may want to include the following CSS file: `https://geoext.github.io/geoext3/v3.1.0/resources/css/gx-popup.css`
 
 * Verify that [{{ book.exerciseUrl }}/hello-geoext.html]({{ book.exerciseUrl }}/hello-geoext.html) loads in your browser
 

src/first-steps/resources.md

@@ -10,7 +10,7 @@ Homepage: http://openlayers.org
 
 Use the API docs of OpenLayers to know about available classes and their properties:
 
-* http://openlayers.org/en/v3.20.1/apidoc/
+* https://openlayers.org/en/v4.6.5/apidoc/
 
 The left side of the API-docs is a list of all objects in OpenLayers. If you click on the name of an OpenLayers class there, you see the API of the object.
 
@@ -20,15 +20,15 @@ In the subpages you can find a list of all properties, methods and events the cl
 
 Many people learn best when they see the parts of a library in action. OpenLayers has a vast amount of published online examples, which mostly focus on one aspect of the library.
 
-* http://openlayers.org/en/v3.20.1/examples/
+* https://openlayers.org/en/v4.6.5/examples/
 
 Browse the examples and learn how to find one that provides the information you need.
 
 ### Other
 
 * OpenLayers also has published a workshop at http://openlayers.org/workshop/.
 
-* Common problems that may arise when using OpenLayers are explained in the [Frequently Asked Questions (FAQ)](http://openlayers.org/en/v3.20.1/doc/faq.html).
+* Common problems that may arise when using OpenLayers are explained in the [Frequently Asked Questions (FAQ)](https://openlayers.org/en/v4.6.5/doc/faq.html).
 
 * For specific questions one can ask on [stackoverflow using the tag 'openlayers'](http://stackoverflow.com/questions/tagged/openlayers).
 
@@ -65,13 +65,13 @@ Homepage: https://geoext.github.io/geoext3/
 
 The GeoExt API documentation (generated with the same software as the ExtJS one) can be found here:
 
-* https://geoext.github.io/geoext3/v3.0.0/docs/
+* https://geoext.github.io/geoext3/v3.1.0/docs/
 
 If you know your way around in The ExtJS documentation, you will easily understand the GeoExt one.
 
 There is also a version of the API of GeoExt, which includes all the classes from the ExtJS framework:
 
-* https://geoext.github.io/geoext3/v3.0.0/docs-w-ext/
+* https://geoext.github.io/geoext3/v3.1.0/docs-w-ext/
 
 ### Examples
 

src/layer-tree/add-layerstree-store.md

@@ -86,7 +86,7 @@ Ext.onReady(function(){
 </html>
 ```
 
-* Make yourself familiar with the `GeoExt.data.store.LayersTree` class by studying the following API-docs: https://geoext.github.io/geoext3/v3.0.0/docs/#!/api/GeoExt.data.store.LayersTree
+* Make yourself familiar with the `GeoExt.data.store.LayersTree` class by studying the following API-docs: https://geoext.github.io/geoext3/v3.1.0/docs/#!/api/GeoExt.data.store.LayersTree
 
 * Create an instance of the `GeoExt.data.store.LayersTree` class and pass it the following configuration object:
 
@@ -96,7 +96,7 @@ Ext.onReady(function(){
 }
 ```
 
-* Study the API docs of `ol.Map` to get the appropriate `LayerGroup`: http://openlayers.org/en/v3.20.1/apidoc/ol.Map.html
+* Study the API docs of `ol.Map` to get the appropriate `LayerGroup`: https://openlayers.org/en/v4.6.5/apidoc/ol.Map.html
 
 * If everything works fine, you should see a tree with one (currently unlabeled) leaf. Next to the leaf you find a checkbox, that reflects the overall visibility of the layer.
 

src/meta/about.md

@@ -34,9 +34,9 @@ the github editor and you can directly fix what you have noticed.
 During the workshop you will work with the following JavaScript libraries or
 frameworks:
 
-* OpenLayers ([v3.20.1](https://github.com/openlayers/openlayers/releases/tag/v3.20.1)): http://openlayers.org/
+* OpenLayers ([4.6.5](https://github.com/openlayers/openlayers/releases/tag/v4.6.5)): http://openlayers.org/
 * ExtJS ([v6.2.0, GPL](https://www.sencha.com/legal/GPL/)): https://www.sencha.com/products/extjs/
-* GeoExt3 ([v3.0.0](https://github.com/geoext/geoext3/releases/tag/v3.0.0)): http://geoext.github.io/geoext3/
+* GeoExt3 ([v3.1.0](https://github.com/geoext/geoext3/releases/tag/v3.1.0)): http://geoext.github.io/geoext3/
 
 ## Copyright
 

src/other/other.md

@@ -6,7 +6,7 @@ GeoExt still has more to offer.
 
 We didn't have time to talk about [legends in the tree](http://rawgit.com/geoext/geoext3/master/examples/tree/tree-legend-simple.html), the super useful [`GeoExt.OlObject`-class](http://rawgit.com/geoext/geoext3/master/examples/mapviewform/mapviewform.html) or the [`PrintProvider`](http://rawgit.com/geoext/geoext3/master/examples/print/basic-mapfish.html) which allows you to serialize your map to a format understandable by the superb [Mapfish Print Servlet (v3)](http://mapfish.github.io/mapfish-print-doc/#/overview).
 
-Make sure to checkout all [examples](http://geoext.github.io/geoext3/), the [API documentation](https://geoext.github.io/geoext3/v3.0.0/docs/) (also available [with ExtJS-classes](https://geoext.github.io/geoext3/v3.0.0/docs-w-ext/)) and the [code on github](https://github.com/geoext/geoext3).
+Make sure to checkout all [examples](http://geoext.github.io/geoext3/), the [API documentation](https://geoext.github.io/geoext3/v3.1.0/docs/) (also available [with ExtJS-classes](https://geoext.github.io/geoext3/v3.1.0/docs-w-ext/)) and the [code on github](https://github.com/geoext/geoext3).
 
 The source for this workshop is also [on github](https://github.com/geoext/geoext3-ws). If you find an error or outdated section, just open an issue or — even better — provide us with a pull request.
 

src/other/overview-map.md

@@ -15,7 +15,7 @@ Especially when zoomed in, it can be hard to understand the extent of the mappan
     <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/extjs/6.2.0/classic/theme-triton/resources/theme-triton-all.css" type="text/css" />
     <script src="https://cdnjs.cloudflare.com/ajax/libs/extjs/6.2.0/ext-all.js"></script>
     <link rel="stylesheet" href="./lib/ol/ol.css" type="text/css" />
-    <link rel="stylesheet" href="https://geoext.github.io/geoext3/v3.0.0/resources/css/gx-popup.css" type="text/css" />
+    <link rel="stylesheet" href="https://geoext.github.io/geoext3/v3.1.0/resources/css/gx-popup.css" type="text/css" />
     <script src="./lib/ol/ol.js"></script>
     <script src="https://geoext.github.io/geoext3/v3.1.0/GeoExt.js"></script>
     <style>
@@ -243,7 +243,7 @@ var vp = Ext.create('Ext.container.Viewport', {
 
 ![The prepared layout](overview-prepared.png)
 
-* Now it is time to use `GeoExt.component.OverviewMap`: Create an instance of this class and read the [related API-docs](https://geoext.github.io/geoext3/v3.0.0/docs/#!/api/GeoExt.component.OverviewMap).
+* Now it is time to use `GeoExt.component.OverviewMap`: Create an instance of this class and read the [related API-docs](https://geoext.github.io/geoext3/v3.1.0/docs/#!/api/GeoExt.component.OverviewMap).
 
 * Configure the `overviewPanel` with the created overview instead of <code>html: &#39;TODO&#39;</code> (via `items`).
 

src/other/popups.md

@@ -173,7 +173,7 @@ Ext.onReady(function(){
 * For popups to look right, we need some CSS. Include the following in the `<head>` of the page:
 
 ```html
-<link rel="stylesheet" href="https://geoext.github.io/geoext3/v3.0.0/resources/css/gx-popup.css" type="text/css" />
+<link rel="stylesheet" href="https://geoext.github.io/geoext3/v3.1.0/resources/css/gx-popup.css" type="text/css" />
 <style>
 .gx-popup p {
   padding: 5px 5px 0 5px;
@@ -188,7 +188,7 @@ Ext.onReady(function(){
 
 * Configure the existing `GeoExt.component.Map` with `pointerRest: true`. Only if this configuration is `true` will the map-component fire the `pointerrest` and `pointerrestout` events.
 
-* Read the documentation for [`pointerrest`](https://geoext.github.io/geoext3/v3.0.0/docs/#!/api/GeoExt.component.Map-event-pointerrest) & [`pointerrestout`](https://geoext.github.io/geoext3/v3.0.0/docs/#!/api/GeoExt.component.Map-event-pointerrestout)
+* Read the documentation for [`pointerrest`](https://geoext.github.io/geoext3/v3.1.0/docs/#!/api/GeoExt.component.Map-event-pointerrest) & [`pointerrestout`](https://geoext.github.io/geoext3/v3.1.0/docs/#!/api/GeoExt.component.Map-event-pointerrestout)
 
 * Register an event-listener on `pointerrest` that logs the hovered coordinate. Use the OpenLayers utility methods `ol.coordinate.toStringHDMS` and `ol.proj.transform` on the `evt.coordinate` to format the coordinate.
 
@@ -208,7 +208,7 @@ mapComponent.on('pointerrest', function(evt) {
 
 * Once you have the above logging of the coordinate in place, we can now create a popup.
 
-* Instantiate the class [`GeoExt.component.Popup`](https://geoext.github.io/geoext3/v3.0.0/docs/#!/api/GeoExt.component.Popup) and configure it with your map. You should also provide a `width`. Store the popup in an accessible variable; `var popup` is a good choice.
+* Instantiate the class [`GeoExt.component.Popup`](https://geoext.github.io/geoext3/v3.1.0/docs/#!/api/GeoExt.component.Popup) and configure it with your map. You should also provide a `width`. Store the popup in an accessible variable; `var popup` is a good choice.
 
 * Inside the configured callback on `pointerrest` we now want to update the HTML of the popup (method `setHtml`) and reposition it at the coordinate (method `position`, pass the coordinates in the view projection), and finally, `show` the popup.