Follow up to 'Remove support for the deprecated Key header'
authorC. Scott Ananian <cscott@cscott.net>
Thu, 18 Oct 2018 16:01:23 +0000 (12:01 -0400)
committerC. Scott Ananian <cscott@cscott.net>
Thu, 20 Jun 2019 19:01:51 +0000 (15:01 -0400)
commit73ec2a18361abfed98316f52c544f338d30cd255
treedfb51411e31e21c67722ad7050f8a58cba68e184
parenta31983f23c7104e8f5b2108e889ef8af1dca7251
Follow up to 'Remove support for the deprecated Key header'

Clean up a few more code paths and documentation bits left behind by
Ia53d07cd8ce8ab1497294ea244c13c7499f632c7.

Change-Id: I2bb1749c45bb79b27c5a3b2e1b8ed3395e8c11e0
includes/OutputPage.php
includes/session/SessionManager.php
includes/session/SessionManagerInterface.php
tests/phpunit/includes/OutputPageTest.php
tests/phpunit/includes/session/SessionManagerTest.php