| Index: chrome/browser/resources/file_manager/main.html
|
| diff --git a/chrome/browser/resources/file_manager/main.html b/chrome/browser/resources/file_manager/main.html
|
| index 1e343f5629e60b8c89ef38fd508e8f62b44261ad..28f9fdb04dbb27446049efa6470bb5abdd211642 100644
|
| --- a/chrome/browser/resources/file_manager/main.html
|
| +++ b/chrome/browser/resources/file_manager/main.html
|
| @@ -8,6 +8,7 @@
|
| <head>
|
| <if expr="0">
|
| <!-- <if ... /if> is removed while flattening HTML. -->
|
| + <base href="">
|
| <script>
|
| // Instruction for enabling loading file manager files remotely (speeds up
|
| // development cycle):
|
| @@ -23,17 +24,13 @@
|
| //
|
| // 4. Open the File Manager. Execute the following JS code in its context
|
| // using DevTools:
|
| - // localStorage['base'] = 'http://yourmachine:1080/file_manager/'
|
| + // localStorage.base = 'http://yourmachine:1080/file_manager/'
|
| //
|
| // This will make the File Manager use fresh JS and CSS files from the
|
| // development machine. HTML files and JS files for WebWorkers would still
|
| // need a rebuild to update.
|
|
|
| - if (localStorage['base']) {
|
| - var base = document.createElement('base');
|
| - base.setAttribute('href', localStorage['base']);
|
| - document.head.appendChild(base);
|
| - }
|
| + document.querySelector('base').setAttribute('href', localStorage.base);
|
| </script>
|
| </if>
|
| <!-- metrics.js initiates load performance tracking
|
|
|