- Update to version 8.1.13:
* Prep for 8.1.13-dev
* Fix #2753: Prevent loops when unable to download extensions (#2797)
* Fix #2817. bash autocomplete via .bashrc only works on the second .bashrc inclusion.
* Disable the psysh version check.
* Fixes #2831: create_function is deprecated in php 7.2; might as well use an anonymous function instead.
* Fix drush docs, link to 8.x docs from within the 8.x documentation (#2842)
* Add php lint operation via CircleCI.
* Respect disable_functions list in use_pcntl_exec check (#2857)
* fix namespace for Drush command sql-query with option "--db-prefix" in use (#2882)
* Just assert that disabled module's command can't be run. The actual error is not important, and seems to be variable based on phases of the moon.
* Prep for 8.1.13.