Też doskwiera mi słabość video w MIUI po długich bojach oznajmiam co następuje:
-rock player jest kiepski -jedyną jego zaletą jest używanie dekodowania softwarowego-dzięki czemu działa w ogóle
-znacznie lepszą opcją jest moboplayer- można do niego zainstalować kodeki z marketu, ustawić dekodowanie softwarowe i viola. obsługuje też napisy w srt , niestety txt nie, brak też opcji zaciągania napisów.
Do tego celu używam mvideoplayer- który niestety na MIUI nie odtwarza, ale IMHO jest to najlepszy player na androida ever: napisy srt, txt, zaciąganie napisów, imdb itp...
Kiedyś do napisów używałem napidroid czy coś podobnego, nie mogę obecnie odnaleźć -jeśli ktoś go kojarzy to proszę o info