Merge "Make update.php file executable"
[mediawiki.git] / maintenance / resources / 
tree9a05130bf0db467735b86860782aca502469d3a7
drwxr-xr-x   ..
-rwxr-xr-x 2226 update-oojs-ui.sh
-rwxr-xr-x 1361 update-oojs.sh