shell.php: update PsySH from 0.8.11 to 0.9.6
authorGergő Tisza <tgr.huwiki@gmail.com>
Tue, 12 Jun 2018 15:56:57 +0000 (17:56 +0200)
committerReedy <reedy@wikimedia.org>
Wed, 13 Jun 2018 13:01:07 +0000 (13:01 +0000)
commitc8b0acfe7c0adcfe6868a9c7428c8dbffa5ddb02
tree93723ad0848eed115dbaba20b463d7e02ca8aa56
parent8602e489e153fc29682c650ab0fbe1e452c1bfbb
shell.php: update PsySH from 0.8.11 to 0.9.6

Major changes: fix for T186936, external editor support,
timeit command, emulate HISTCONTROL=ignorespace,
fixed tab completion

mediawiki/vendor patch: I5f604250fb213618f734e6ac9c48969ceeb3e7fb

Change-Id: I994689638632f39d86ce88027445d8fe4ea4f649
composer.json