Truly fix the build (I hope).
I also changed the API. Hide the new fields.
diff --git a/core/java/android/provider/Browser.java b/core/java/android/provider/Browser.java
index 6a193ae..c4161e8 100644
--- a/core/java/android/provider/Browser.java
+++ b/core/java/android/provider/Browser.java
@@ -106,6 +106,9 @@
public static final int HISTORY_PROJECTION_BOOKMARK_INDEX = 4;
public static final int HISTORY_PROJECTION_TITLE_INDEX = 5;
public static final int HISTORY_PROJECTION_FAVICON_INDEX = 6;
+ /*
+ * @hide
+ */
public static final int HISTORY_PROJECTION_THUMBNAIL_INDEX = 7;
/* columns needed to determine whether to truncate history */
@@ -487,6 +490,9 @@
public static final String TITLE = "title";
public static final String CREATED = "created";
public static final String FAVICON = "favicon";
+ /*
+ * @hide
+ */
public static final String THUMBNAIL = "thumbnail";
}