Be more precise when replacing HTML content with the filename

wiki/src/install/inc/js/dave_2.js

@@ -4,9 +4,7 @@ document.addEventListener('DOMContentLoaded', function() {
           return;
       }
       if(event.data.action === 'verifying'){
-		  showVerifyingDownload();
-          var element = document.getElementById("verifying-download");
-          element.innerHTML = "Verifying: "+event.data.fileName;
+		  showVerifyingDownload(event.data.fileName);
       }
       else if(event.data.action === 'verification-failed'){
 		  showVerificationResult('failed');
@@ -129,8 +127,9 @@ document.addEventListener('DOMContentLoaded', function() {
     toggleContinueLink('direct', 'skip-verification-direct');
   }
 
-  function showVerifyingDownload() {
+  function showVerifyingDownload(filename) {
     hide(document.getElementById('verify-download-wrapper'));
+    document.getElementById("filename").innerHTML = filename;
     show(document.getElementById('verifying-download'));
   }
 

wiki/src/install/inc/steps/download_2.inline.html

@@ -52,7 +52,7 @@
             <input id="verify-download" type="file"/>
           </label>
           <div id="verifying-download">
-            <p>Verifying $FILENAME&hellip;</p>
+            <p>Verifying <span id="filename">$FILENAME</span>&hellip;</p>
             <div class="progress">
               <div id="progress-bar" class="progress-bar" role="progressbar" style="width: 0%" aria-valuenow="0" aria-valuemin="0" aria-valuemax="100"></div>
             </div>