Cast serverType option in examples

examples/wms-image-custom-proj.js

@@ -28,7 +28,7 @@ var layers = [
         'LAYERS': 'ch.swisstopo.pixelkarte-farbe-pk1000.noscale',
         'FORMAT': 'image/jpeg'
       },
-      serverType: 'mapserver',
+      serverType: /** @type {ol.source.wms.ServerType} */ ('mapserver'),
       extent: extent
     })
   }),
@@ -43,7 +43,7 @@ var layers = [
             'National parks / geo.admin.ch</a>'
       })],
       params: {'LAYERS': 'ch.bafu.schutzgebiete-paerke_nationaler_bedeutung'},
-      serverType: 'mapserver',
+      serverType: /** @type {ol.source.wms.ServerType} */ ('mapserver'),
       extent: extent
     })
   })

examples/wms-image.js

@@ -15,7 +15,7 @@ var layers = [
     source: new ol.source.ImageWMS({
       url: 'http://demo.opengeo.org/geoserver/wms',
       params: {'LAYERS': 'topp:states'},
-      serverType: 'geoserver',
+      serverType: /** @type {ol.source.wms.ServerType} */ ('geoserver'),
       extent: [-13884991, 2870341, -7455066, 6338219]
     })
   })

examples/wms-no-proj.js

@@ -37,7 +37,7 @@ var layers = [
       })],
       crossOrigin: 'anonymous',
       params: {'LAYERS': 'ch.bafu.schutzgebiete-paerke_nationaler_bedeutung'},
-      serverType: 'mapserver',
+      serverType: /** @type {ol.source.wms.ServerType} */ ('mapserver'),
       url: 'http://wms.geo.admin.ch/'
     })
   })