[shared_preferences] Allow specifying the preferences store name on Android #14337
Description
In Android you can store preference files by different filenames. I use this for example to store data for multiple users, or for different preference pages.
e.g. (In Android)
SharedPreferences settings = context.getSharedPreferences("scores.xml", Context.MODE_PRIVATE);
SharedPreferences.Editor editor = settings.edit();
editor.putBoolean("won", true);
editor.putInt("score",783);
editor.apply();