Merge "resources: Register html5shiv as foreign resource"

diff --combined maintenance/resources/foreign-resources.yaml
index a3475ed,a5ba19e..2102a27
--- 1/maintenance/resources/foreign-resources.yaml
--- 2/maintenance/resources/foreign-resources.yaml
+++ b/maintenance/resources/foreign-resources.yaml
@@@ -32,6 -32,13 +32,13 @@@
  #
  # * `files`: An object mapping destination paths to an object containing `src` and `integrity`
  #    keys.
+ 
+ html5shiv:
+   type: file
+   src: https://raw.githubusercontent.com/aFarkas/html5shiv/3.7.3/src/html5shiv.js
+   integrity: sha384-RPXhaTf22QktT8KTwZ6bUz/C+7CnccaIw5W/y/t0FW5WSDGj3wc3YtRIJC0w47in
+   dest: html5shiv.js
+ 
  oojs:
    type: tar
    src: https://registry.npmjs.org/oojs/-/oojs-2.2.2.tgz
@@@ -42,7 -49,7 +49,7 @@@
      package/LICENSE-MIT:
      package/README.md:
  
 -oojs-ui:
 +ooui:
    type: tar
    src: https://registry.npmjs.org/oojs-ui/-/oojs-ui-0.28.1.tgz
    integrity: sha384-7fme1YXFt2pg+f7zeeexPcoA8GCHORZb3yKVSd/yUtfeu8xwAYEZKnaKYSU9FSYj