📄 interface.php
字号:
<?php/** * Zend Framework * * LICENSE * * This source file is subject to the new BSD license that is bundled * with this package in the file LICENSE.txt. * It is also available through the world-wide-web at this URL: * http://framework.zend.com/license/new-bsd * If you did not receive a copy of the license and are unable to * obtain it through the world-wide-web, please send an email * to license@zend.com so we can send you a copy immediately. * * @category Zend * @package Zend_Session * @copyright Copyright (c) 2005-2007 Zend Technologies USA Inc. (http://www.zend.com) * @license http://framework.zend.com/license/new-bsd New BSD License * @version $Id: Interface.php 163 2008-01-14 04:40:16Z matt $ * @since Preview Release 0.2 *//** * Zend_Session_SaveHandler_Interface * * @category Zend * @package Zend_Session * @subpackage SaveHandlers * @copyright Copyright (c) 2005-2007 Zend Technologies USA Inc. (http://www.zend.com) * @license http://framework.zend.com/license/new-bsd New BSD License * @see http://us3.php.net/manual/en/function.session-set-save-handler.php */interface Zend_Session_SaveHandler_Interface{ /** * Open Session - retrieve resources * * @param string $save_path * @param string $name */ public function open($save_path, $name); /** * Close Session - free resources * */ public function close(); /** * Read session data * * @param string $id */ public function read($id); /** * Write Session - commit data to resource * * @param string $id * @param mixed $data */ public function write($id, $data); /** * Destroy Session - remove data from resource for * given session id * * @param string $id */ public function destroy($id); /** * Garbage Collection - remove old session data older * than $maxlifetime (in seconds) * * @param int $maxlifetime */ public function gc($maxlifetime);}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -