Hi,
I’m developing a DroidScript music player that uses MediaStore to scan and list audio files.
I’m using DroidScript 2.78 on Android 13+ devices, and I’m trying to understand how the new media permissions are handled.
I noticed the following behavior:
Without granting DroidScript access to music/audio, my app cannot retrieve the audio library from MediaStore.
After I manually grant DroidScript the Music and audio permission in Android Settings, the same app can successfully scan and list the music.
My current DroidScript code contains:
_AddPermissions("extsdcard");
_AddPermissions("Storage");
I also use:
app.GetPermission("extsdcard", callback);
for folder selection.
My questions are:
In DroidScript 2.78+, which permission group maps to Android's READ_MEDIA_AUDIO permission on Android 13+?
Does _AddPermissions("Storage") or _AddPermissions("extsdcard") automatically add READ_MEDIA_AUDIO to the generated APK's manifest?
If not, is there a specific DroidScript permission name/group that should be used for audio access?
How should app.GetPermission() be used to request READ_MEDIA_AUDIO at runtime?
Is the permission mapping defined somewhere in a JSON/build configuration file, or is it handled entirely by the native DroidScript engine?
Is there a recommended approach for a DroidScript music player that needs to read audio files through MediaStore on Android 13+?
I’m asking because I want to use the proper DroidScript permission mechanism rather than manually modifying the Android manifest or adding an unsupported permission name.
Thanks.