save file

Author: javascript-2020

libs/html/page-html/v1.0/page-html-v1.0.html

@@ -326,7 +326,7 @@ <h3>
               $('web-editor').style.display             = 'none';
               $('snippet-html-console').style.display   = '';
 
-              var url     = base+path+'/examples/'+file;
+              var url     = base+path+'examples/'+file;
               var {txt}   = await get(url);
               if(!txt)return;