Revision b21eb434cf05ec7c06bf21b4ff4ea234792f12db

Committed on 19/01/2018 10:33 am by Larry Garfield <[email protected]> [GitHub Diff]

Use Redis-based sessions if Redis is available (#254)

* Use Redis-based sessions if Redis is available.

* Formatting fix.

* Add redis extension.

* Add Redis services and relationships.

* Revise Redis glue code.

* Formatting fixes.

* Fix inline comment

* Update platformsh.php

* CS

* CS

[skip ci]

* Add inline note about redis-persistent

* also mention redis restarts

[skip ci]