Index: chrome/browser/extensions/extension_service.h |
diff --git a/chrome/browser/extensions/extension_service.h b/chrome/browser/extensions/extension_service.h |
index f5bda4f3364cee6434af880bc84e1afd03d2a968..acb611970c458b1ba6e9ea7fae2731d14e0ce658 100644 |
--- a/chrome/browser/extensions/extension_service.h |
+++ b/chrome/browser/extensions/extension_service.h |
@@ -393,7 +393,9 @@ class ExtensionService |
// Called by the backend when an extension has been installed. |
void OnExtensionInstalled( |
- const Extension* extension, bool from_webstore, int page_index); |
+ const Extension* extension, |
+ bool from_webstore, |
+ const StringOrdinal& page_ordinal); |
// Initializes the |extension|'s active permission set and disables the |
// extension if the privilege level has increased (e.g., due to an upgrade). |