maintenance: Add maintenance script for managing foreign resources
authorTimo Tijhof <krinklemail@gmail.com>
Sun, 19 Aug 2018 05:14:05 +0000 (06:14 +0100)
committerKrinkle <krinklemail@gmail.com>
Tue, 21 Aug 2018 17:18:48 +0000 (17:18 +0000)
commitdd8cced9ffacaecb6c623a1ec2b4e4890dea2042
tree4538639b4e7c70b795d4e0e2693878f077c801e7
parent9f86db20286c2c39ae5f134a31ad2927441340d0
maintenance: Add maintenance script for managing foreign resources

Something for the short-term, perhaps. But at least an improvement
over 'update-oojs.sh' and 'update-ooui.sh'.

* Does not require any dependencies (no 'node' or 'npm').
* Performs integrity validation.

Change-Id: I0f79b84ef3903756353c66d3c3ee7e492c60e648
autoload.php
maintenance/resources/foreign-resources.yaml [new file with mode: 0644]
maintenance/resources/manageForeignResources.php [new file with mode: 0644]
maintenance/resources/update-oojs.sh [deleted file]
maintenance/resources/update-ooui.sh [deleted file]