For ancient browsers

views/index.ejs

@@ -61,7 +61,7 @@
                         elem.style = 'overflow: hidden; width: 100%; ';
                         elem.style.maxHeight = lineHeight + 'px';
                         elem.innerHTML = html;
-                        var imgs = Array.from(elem.getElementsByTagName('img'));
+                        var imgs = Array.prototype.slice.call(elem.getElementsByTagName('img'));
                         for (var i in imgs) imgs[i].parentNode.removeChild(imgs[i]);
                         var script = document.getElementById('user-infomation-script-<%= i %>');
                         script.parentNode.replaceChild(elem, script);

views/problem_data.ejs

@@ -146,7 +146,7 @@ function getIcon(filename) {
         <script>
         function check_replace() {
           var old_files = <%- JSON.stringify((testdata && testdata.files ? testdata.files : []).map(x => x.filename)) %>;
-          var replaced_files = Array.from($('#upload_file')[0].files).map(function (x) { return x.name; }).filter(function (x) { return old_files.includes(x); });
+          var replaced_files = Array.prototype.slice.call($('#upload_file')[0].files).map(function (x) { return x.name; }).filter(function (x) { return old_files.includes(x); });
           var s = '';
           for (let file of replaced_files) s += '<samp>' + file + '</samp><br>';
           if (s) {
@@ -161,4 +161,4 @@ function getIcon(filename) {
     </div>
   </div>
 </div>
-<% include footer %>
+<% include footer %>

views/ranklist.ejs

@@ -45,7 +45,7 @@
                 elem.style = 'overflow: hidden; width: 100%; ';
                 elem.style.maxHeight = lineHeight + 'px';
                 elem.innerHTML = html;
-                var imgs = Array.from(elem.getElementsByTagName('img'));
+                var imgs = Array.prototype.slice.call(elem.getElementsByTagName('img'));
                 for (var i in imgs) imgs[i].parentNode.removeChild(imgs[i]);
                 var script = document.getElementById('user-infomation-script-<%= i %>');
                 script.parentNode.replaceChild(elem, script);