Merge pull request #9612 from JosJuice/android-log-to-file Android: Rename "Enable Logging" to "Write Logs to File"