diff options
| author | Jason Chen <jasonchen@google.com> | 2010-09-01 19:11:14 -0700 |
|---|---|---|
| committer | Jason Chen <jasonchen@google.com> | 2010-09-01 19:17:22 -0700 |
| commit | 9dc2e75e2720a8d0a5d7b87be53300eac021a3f3 (patch) | |
| tree | e14be6b4f3fdc8c21545bc2373e31a6262776222 /core/java | |
| parent | f83d4f1779eb4801275a56023c343459a95009af (diff) | |
| download | frameworks_base-9dc2e75e2720a8d0a5d7b87be53300eac021a3f3.zip frameworks_base-9dc2e75e2720a8d0a5d7b87be53300eac021a3f3.tar.gz frameworks_base-9dc2e75e2720a8d0a5d7b87be53300eac021a3f3.tar.bz2 | |
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
Diffstat (limited to 'core/java')
| -rw-r--r-- | core/java/android/webkit/WebSettings.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/core/java/android/webkit/WebSettings.java b/core/java/android/webkit/WebSettings.java index 7519b0d..0ed5fc5 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 ""; } |