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]