diff options
Diffstat (limited to 'doc/old/html/session_8php.js')
| -rw-r--r-- | doc/old/html/session_8php.js | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/old/html/session_8php.js b/doc/old/html/session_8php.js new file mode 100644 index 000000000..5d69851d0 --- /dev/null +++ b/doc/old/html/session_8php.js @@ -0,0 +1,13 @@ +var session_8php = +[ + [ "new_cookie", "session_8php.html#a4c0ead624f95483e386bc80abf570a8f", null ], + [ "ref_session_close", "session_8php.html#a5e1c616e02b863d5450317d101366bb7", null ], + [ "ref_session_destroy", "session_8php.html#af230b86bfff7db66c3bdd7e0bbc24052", null ], + [ "ref_session_gc", "session_8php.html#ac95373f4966862a028033dd2f94d4da1", null ], + [ "ref_session_open", "session_8php.html#a26fa1042356d555023cbf15ddd4f8507", null ], + [ "ref_session_read", "session_8php.html#a7f0f50576360d9ba52d29364e0b83a8e", null ], + [ "ref_session_write", "session_8php.html#ac4461c1984543d3553e73dba2771568f", null ], + [ "$gc_probability", "session_8php.html#a96b09cc763572f45280786a7b33feb7e", null ], + [ "$session_exists", "session_8php.html#a62e4a6cb26b4bb1b8ddd8277b26090eb", null ], + [ "$session_expire", "session_8php.html#af0100a2642a5268594bbd5742a03d885", null ] +];
\ No newline at end of file |