devices: Fix HTC One Mini codename (m4ul)

Change-Id: I0000845665220d0496234e21c224b8252b6fceb8
diff --git a/_devices/htconeminigsm.markdown b/_devices/htconeminigsm.markdown
index 498403d..d00e540 100644
--- a/_devices/htconeminigsm.markdown
+++ b/_devices/htconeminigsm.markdown
@@ -1,8 +1,8 @@
 ---

 layout: device

 title:  "HTC One Mini"

-codename: t4ul

-downloadfolder: t4ul

+codename: m4ul

+downloadfolder: m4ul

 oldurl: http://teamw.in/project/twrp2/216

 supportstatus: Current

 maintainer: None