Make runJobs.php treat --json value as case insensitive
commit25ae9afb9b8de264e878d2aa183119a3d2a00a5f
authorAaron Schulz <aschulz@wikimedia.org>
Tue, 24 Oct 2017 22:42:30 +0000 (24 15:42 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Wed, 25 Oct 2017 07:41:22 +0000 (25 07:41 +0000)
tree29a743eb953843c5644270f211e8a44bfd70bd9b
parent3251d4f410cb8bac8ba20138cd414a39cea7ef17
Make runJobs.php treat --json value as case insensitive

The docs mentioned "JSON", which did not actually work.

Change-Id: Ie9802551d05f7d80d1db0fd316e36f4b35bbc521
maintenance/runJobs.php