Index: chrome/browser/extensions/extension_service.h |
diff --git a/chrome/browser/extensions/extension_service.h b/chrome/browser/extensions/extension_service.h |
index 677fb194891816294028017854c163f54418562a..56cd0d2defc2643cfbe7d3cf297263527fbb0b67 100644 |
--- a/chrome/browser/extensions/extension_service.h |
+++ b/chrome/browser/extensions/extension_service.h |
@@ -373,7 +373,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). |