From 9dc2e75e2720a8d0a5d7b87be53300eac021a3f3 Mon Sep 17 00:00:00 2001 From: Jason Chen Date: Wed, 1 Sep 2010 19:11:14 -0700 Subject: [PATCH] Add Deprecated annotation to getPluginsPath/setPluginsPath Javadoc annotations aren't enough to properly mark an API as deprecated. This change adds the @Deprecated annotation to the source and updates current.xml. Change-Id: I04a398fc04ad99979c674789af5af994fbd25be0 --- api/current.xml | 6 +++--- core/java/android/webkit/WebSettings.java | 2 ++ 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/api/current.xml b/api/current.xml index 4add8875137c5..d0ed30957f8e1 100644 --- a/api/current.xml +++ b/api/current.xml @@ -213735,7 +213735,7 @@ synchronized="true" static="false" final="false" - deprecated="not deprecated" + deprecated="deprecated" visibility="public" > @@ -214307,7 +214307,7 @@ synchronized="true" static="false" final="false" - deprecated="not deprecated" + deprecated="deprecated" visibility="public" > @@ -237315,7 +237315,7 @@ deprecated="not deprecated" visibility="public" > - + diff --git a/core/java/android/webkit/WebSettings.java b/core/java/android/webkit/WebSettings.java index 7519b0d62f127..0ed5fc585f72a 100644 --- a/core/java/android/webkit/WebSettings.java +++ b/core/java/android/webkit/WebSettings.java @@ -1108,6 +1108,7 @@ public class WebSettings { * @deprecated This method is no longer used as plugins are loaded from * their own APK via the system's package manager. */ + @Deprecated public synchronized void setPluginsPath(String pluginsPath) { } @@ -1296,6 +1297,7 @@ public class WebSettings { * @deprecated This method is no longer used as plugins are loaded from * their own APK via the system's package manager. */ + @Deprecated public synchronized String getPluginsPath() { return ""; }