Index: chrome/browser/resources/options/geolocation_options.js |
diff --git a/chrome/browser/resources/options/geolocation_options.js b/chrome/browser/resources/options/geolocation_options.js |
index b15ee3999b456918104d14377abf17bfc3b863d6..30071df39122061152f00621b21532eae0d18ab9 100644 |
--- a/chrome/browser/resources/options/geolocation_options.js |
+++ b/chrome/browser/resources/options/geolocation_options.js |
@@ -15,7 +15,7 @@ cr.define('options', function() { |
Page.call(this, 'geolocationOptions', |
loadTimeData.getString('geolocationOptionsPageTabTitle'), |
'geolocationCheckbox'); |
- }; |
+ } |
cr.addSingletonGetter(GeolocationOptions); |