Merge pull request #14155 from seamuslee001/php_7_2_bin_cli_class
authorEileen McNaughton <emcnaughton@wikimedia.org>
Tue, 30 Apr 2019 02:54:23 +0000 (14:54 +1200)
committerGitHub <noreply@github.com>
Tue, 30 Apr 2019 02:54:23 +0000 (14:54 +1200)
commitdab9c39370a3d4c99e0904d3df7f72e78bb8b405
treed411a30195452c6c7a220074f12996beb7ae6f16
parentd3fb65a8365019c06ddad68d1130c6d8d532d9d7
parent94b8a9c242cf69d59be49f44bb41470ba962e0e0
Merge pull request #14155 from seamuslee001/php_7_2_bin_cli_class

dev/core#907 Fix Deprecation notice for PHP7.2 in bin/cli.class.php