Fix php 7.2+ deprecation error
authoreileen <emcnaughton@wikimedia.org>
Sat, 31 Aug 2019 22:01:11 +0000 (10:01 +1200)
committereileen <emcnaughton@wikimedia.org>
Sat, 7 Sep 2019 21:06:35 +0000 (09:06 +1200)
commit0ab25183d3073a18cdbf291f9a0d2ad15554787b
tree592e10200a06b7083d51fb7a62d57e4158d5dae9
parent65ac066c8594f6569be021e420140b0b1b34e1fb
Fix php 7.2+ deprecation error
bin/cli.class.php