Update OOjs UI to v0.1.0-pre (30b0407428)
[mediawiki.git] / maintenance / resources / 
tree258f53ba094253a945cb8653c11d27a17bfeee6b
drwxr-xr-x   ..
-rwxr-xr-x 2095 update-oojs-ui.sh
-rwxr-xr-x 1368 update-oojs.sh