Add @Deprecated to MediaSourceFactory deprecated overrides

This is needed to ensure the deprecation warning appears on usages in
Android Studio and in javadoc.

#minor-release

PiperOrigin-RevId: 408319182

library/core/src/main/java/com/google/android/exoplayer2/source/DefaultMediaSourceFactory.java

@@ -294,6 +294,7 @@ public final class DefaultMediaSourceFactory implements MediaSourceFactory {
     return this;
   }
 
+  @Deprecated
   @Override
   public DefaultMediaSourceFactory setDrmHttpDataSourceFactory(
       @Nullable HttpDataSource.Factory drmHttpDataSourceFactory) {
@@ -301,12 +302,14 @@ public final class DefaultMediaSourceFactory implements MediaSourceFactory {
     return this;
   }
 
+  @Deprecated
   @Override
   public DefaultMediaSourceFactory setDrmUserAgent(@Nullable String userAgent) {
     delegateFactoryLoader.setDrmUserAgent(userAgent);
     return this;
   }
 
+  @Deprecated
   @Override
   public DefaultMediaSourceFactory setDrmSessionManager(
       @Nullable DrmSessionManager drmSessionManager) {

library/core/src/main/java/com/google/android/exoplayer2/source/ProgressiveMediaSource.java

@@ -175,6 +175,8 @@ public final class ProgressiveMediaSource extends BaseMediaSource
       return this;
     }
 
+    @Deprecated
+    @Override
     public Factory setDrmSessionManager(@Nullable DrmSessionManager drmSessionManager) {
       if (drmSessionManager == null) {
         setDrmSessionManagerProvider(null);
@@ -184,6 +186,7 @@ public final class ProgressiveMediaSource extends BaseMediaSource
       return this;
     }
 
+    @Deprecated
     @Override
     public Factory setDrmHttpDataSourceFactory(
         @Nullable HttpDataSource.Factory drmHttpDataSourceFactory) {
@@ -194,6 +197,7 @@ public final class ProgressiveMediaSource extends BaseMediaSource
       return this;
     }
 
+    @Deprecated
     @Override
     public Factory setDrmUserAgent(@Nullable String userAgent) {
       if (!usingCustomDrmSessionManagerProvider) {

library/dash/src/main/java/com/google/android/exoplayer2/source/dash/DashMediaSource.java

@@ -178,6 +178,7 @@ public final class DashMediaSource extends BaseMediaSource {
       return this;
     }
 
+    @Deprecated
     @Override
     public Factory setDrmSessionManager(@Nullable DrmSessionManager drmSessionManager) {
       if (drmSessionManager == null) {
@@ -188,6 +189,7 @@ public final class DashMediaSource extends BaseMediaSource {
       return this;
     }
 
+    @Deprecated
     @Override
     public Factory setDrmHttpDataSourceFactory(
         @Nullable HttpDataSource.Factory drmHttpDataSourceFactory) {
@@ -198,6 +200,7 @@ public final class DashMediaSource extends BaseMediaSource {
       return this;
     }
 
+    @Deprecated
     @Override
     public Factory setDrmUserAgent(@Nullable String userAgent) {
       if (!usingCustomDrmSessionManagerProvider) {

library/hls/src/main/java/com/google/android/exoplayer2/source/hls/HlsMediaSource.java

@@ -297,6 +297,7 @@ public final class HlsMediaSource extends BaseMediaSource
       return this;
     }
 
+    @Deprecated
     @Override
     public Factory setDrmSessionManager(@Nullable DrmSessionManager drmSessionManager) {
       if (drmSessionManager == null) {
@@ -307,6 +308,7 @@ public final class HlsMediaSource extends BaseMediaSource
       return this;
     }
 
+    @Deprecated
     @Override
     public Factory setDrmHttpDataSourceFactory(
         @Nullable HttpDataSource.Factory drmHttpDataSourceFactory) {
@@ -317,6 +319,7 @@ public final class HlsMediaSource extends BaseMediaSource
       return this;
     }
 
+    @Deprecated
     @Override
     public Factory setDrmUserAgent(@Nullable String userAgent) {
       if (!usingCustomDrmSessionManagerProvider) {

library/smoothstreaming/src/main/java/com/google/android/exoplayer2/source/smoothstreaming/SsMediaSource.java

@@ -205,6 +205,7 @@ public final class SsMediaSource extends BaseMediaSource
       return this;
     }
 
+    @Deprecated
     @Override
     public Factory setDrmSessionManager(@Nullable DrmSessionManager drmSessionManager) {
       if (drmSessionManager == null) {
@@ -215,6 +216,7 @@ public final class SsMediaSource extends BaseMediaSource
       return this;
     }
 
+    @Deprecated
     @Override
     public Factory setDrmHttpDataSourceFactory(
         @Nullable HttpDataSource.Factory drmHttpDataSourceFactory) {
@@ -225,6 +227,7 @@ public final class SsMediaSource extends BaseMediaSource
       return this;
     }
 
+    @Deprecated
     @Override
     public Factory setDrmUserAgent(@Nullable String userAgent) {
       if (!usingCustomDrmSessionManagerProvider) {