maintainance: Re-order OOUI script to be clearer, rename
authorJames D. Forrester <jforrester@wikimedia.org>
Wed, 7 Mar 2018 18:34:28 +0000 (18:34 +0000)
committerJames D. Forrester <jforrester@wikimedia.org>
Wed, 7 Mar 2018 18:39:02 +0000 (18:39 +0000)
commit4d19c7e9bbe9cb5833672c00fc56cdf803276ff8
tree49557b075320f52ec8f376284b63a2022bb70414
parentdc53e2c5f842751b05a218edc0132e4385d72e00
maintainance: Re-order OOUI script to be clearer, rename

Change-Id: I6fa9b4840a4b01a71aeb618973f4b858fa1a6c9c
maintenance/resources/update-oojs-ui.sh [deleted file]
maintenance/resources/update-ooui.sh [new file with mode: 0755]