/usr/share/php/Horde/Controller/PreFilter.php is in php-horde-controller 2.0.1-7.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | <?php
/**
* Interface for filters to be run before the controller is executed
*
* @category Horde
* @package Controller
* @author James Pepin <james@bluestatedigital.com>
* @author Bob McKee <bob@bluestatedigital.com>
* @license http://www.horde.org/licenses/bsd BSD
*/
interface Horde_Controller_PreFilter
{
const REQUEST_HANDLED = true;
const REQUEST_CONTINUE = false;
public function processRequest(Horde_Controller_Request $request, Horde_Controller_Response $response, Horde_Controller $controller);
}
|