src/tools/error_index_generator/redirect.js

   1 (function() {
   2     if (window.location.hash) {
   3         let code = window.location.hash.replace(/^#/, '');
   4         // We have to make sure this pattern matches to avoid inadvertently creating an
   5         // open redirect.
   6         if (/^E[0-9]+$/.test(code)) {
   7             window.location.replace('./error_codes/' + code + '.html');
   8             return;
   9         }
  10     }
  11     window.location.replace('./error_codes/error-index.html');
  12 })()