| commit | e51a43ab9cfed55541a5f1bab3f4df08f1654419 | [log] [tgz] |
|---|---|---|
| author | Jeff Sharkey <jsharkey@android.com> | Tue Aug 28 12:58:51 2018 -0600 |
| committer | Jeff Sharkey <jsharkey@android.com> | Tue Aug 28 12:59:34 2018 -0600 |
| tree | 546283c8536f0189e53cc40509e3b7380dd1e715 | |
| parent | 7f4b1d0843f61f176052b84afc8a1dfb9eae7d7d [diff] |
Android feels strongly about .rtx files. android.media.MediaFile has long considered .rtx files as having the MIME type audio/midi, so override that mapping. Bug: 111268862, 112162449 Test: manual Change-Id: I34554ae883e409f1fc554dc2da4e4127f508b86d