update play command

app.py

@@ -1,5 +1,6 @@
 import discord
 from discord.ext import commands
+from discord import app_commands
 import yt_dlp  # Changed from youtube_dl
 import asyncio
 import gradio as gr 
@@ -72,17 +73,24 @@ music_bot = MusicBot()
 @bot.event
 async def on_ready():
     print(f'Bot is ready! Logged in as {bot.user}')
+    try:
+        synced = await bot.tree.sync()
+        print(f"Synced {len(synced)} command(s)")
+    except Exception as e:
+        print(e)
 
-@bot.command()
-async def play(ctx, url):
+@bot.tree.command(name="play", description="Play a song from URL")
+async def play(interaction: discord.Interaction, url: str):
+    await interaction.response.defer()
+    ctx = await commands.Context.from_interaction(interaction)
     await music_bot.join_voice(ctx)
     music_bot.queue.append(url)
     
     if not music_bot.is_playing:
         await music_bot.play_next(ctx)
-        await ctx.send('Playing music!')
+        await interaction.followup.send('Playing music!')
     else:
-        await ctx.send('Added to queue!')
+        await interaction.followup.send('Added to queue!')
 
 @bot.command()
 async def skip(ctx):