Merge pull request #11927 from JosJuice/android-custom-file-extension-locale Android: Check file name extensions locale-independently