So in https://github.com/wikimedia/mediawiki/commit/7671b2b71e28fa013917f65a1d49828ebb6a9725 @hashar and @Tgr added shell.php as an improvement on eval.php
Would people find it useful to have this available on WMF servers over and beyond the usual eval.php?
It adds quite a dependancy tree, as can be seen in https://gerrit.wikimedia.org/r/#/c/339584