Merge "Remove rcenhancedfilters from $wgDefaultUserOptions"
[lhc/web/wiklou.git] / resources / lib / foreign-resources.yaml
index dc7379a..9572cba 100644 (file)
@@ -220,8 +220,8 @@ oojs-router:
 
 ooui:
   type: tar
-  src: https://registry.npmjs.org/oojs-ui/-/oojs-ui-0.31.3.tgz
-  integrity: sha384-4Z7gxGPS5BlbUecWzyy/Pr7cZDfl1BRb3UMkE1xxYTm+FIo+0zJjTD3yrLSSDd1j
+  src: https://registry.npmjs.org/oojs-ui/-/oojs-ui-0.31.6.tgz
+  integrity: sha384-zixZ5PrOMXEo9x3/Y6++IJGbOPYEUpDjCjCsXhiPVKyEBvySFtlceFKM2HJvi9mz
   dest:
     # Main stuff
     package/dist/oojs-ui-core.js{,.map.json}: