From fbddcea7151437e294d7169072b7173d64e697d9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?P=C3=A9ter=20Szil=C3=A1gyi?= <peterke@gmail.com>
Date: Thu, 2 Mar 2017 18:02:56 +0200
Subject: [PATCH] downloads: add user friendly arch names for mips

---
 downloads/index.html | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/downloads/index.html b/downloads/index.html
index 372e417b45..ab3437a685 100644
--- a/downloads/index.html
+++ b/downloads/index.html
@@ -415,6 +415,18 @@
                     case "arm64":
                       arch = "ARM64";
                       break;
+                    case "mips":
+                      arch = "MIPS32";
+                      break;
+                    case "mipsle":
+                      arch = "MIPS32(le)";
+                      break;
+                    case "mips64":
+                      arch = "MIPS64";
+                      break;
+                    case "mips64le":
+                      arch = "MIPS64(le)";
+                      break;
                   }
                   var primary = (os == "android" && arch == "all") || (os == "ios" && arch == "all") ||
                     (os == "linux" && arch == "64-bit") || (os == "darwin" && arch == "64-bit") || (os == "windows" && arch == "64-bit" && kind == "Installer");