Add tilePixelRatio option to ol.source.TileImage

externs/olx.js

@@ -2751,6 +2751,7 @@ olx.source.GPXOptions.prototype.urls;
  *                                 ol.TileLoadFunctionType)|undefined),
  *            tileGrid: (ol.tilegrid.TileGrid|undefined),
  *            tileLoadFunction: (ol.TileLoadFunctionType|undefined),
+ *            tilePixelRatio: (number|undefined),
  *            tileUrlFunction: (ol.TileUrlFunctionType|undefined)}}
  * @todo api
  */
@@ -2822,6 +2823,13 @@ olx.source.TileImageOptions.prototype.tileGrid;
 olx.source.TileImageOptions.prototype.tileLoadFunction;
 
 
+/**
+ * Tile pixel ratio.
+ * @type {number|undefined}
+ */
+olx.source.TileImageOptions.prototype.tilePixelRatio;
+
+
 /**
  * Optional function to get tile URL given a tile coordinate and the projection.
  * @type {ol.TileUrlFunctionType|undefined}

src/ol/source/tileimagesource.js

@@ -30,7 +30,8 @@ ol.source.TileImage = function(options) {
     logo: options.logo,
     opaque: options.opaque,
     projection: options.projection,
-    tileGrid: options.tileGrid
+    tileGrid: options.tileGrid,
+    tilePixelRatio: options.tilePixelRatio
   });
 
   /**