From 71d3fc49214aced47689ea71be89575bc8854065 Mon Sep 17 00:00:00 2001
From: Frederic Junod <frederic.junod@camptocamp.com>
Date: Wed, 20 Nov 2013 12:36:35 +0100
Subject: [PATCH] Add ol.BrowserFeature.DEVICE_PIXEL_RATIO constant

---
 src/ol/browserfeature.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/ol/browserfeature.js b/src/ol/browserfeature.js
index 527a709873..a0a428c3c9 100644
--- a/src/ol/browserfeature.js
+++ b/src/ol/browserfeature.js
@@ -11,6 +11,13 @@ ol.ASSUME_TOUCH = false;
  * @type {Object}
  */
 ol.BrowserFeature = {
+  /**
+   * The ratio between physical pixels and device-independent pixels
+   * (dips) on the device (`window.devicePixelRatio`).
+   * @type {number}
+   */
+  DEVICE_PIXEL_RATIO: goog.global.devicePixelRatio || 1,
+
   /**
    * True if browser supports touch events.
    * @type {boolean}