rfc:session-gc

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
rfc:session-gc [2016/08/10 09:27]
yohgaki Start voting
rfc:session-gc [2017/09/22 13:28] (current)
Line 5: Line 5:
   * Modify Date: 2016-08-10   * Modify Date: 2016-08-10
   * Author: Yasuo Ohgaki, yohgaki@ohgaki.net   * Author: Yasuo Ohgaki, yohgaki@ohgaki.net
-  * Status: ​Discussion+  * Status: ​Voting
   * First Published at: http://​wiki.php.net/​rfc/​session-gc   * First Published at: http://​wiki.php.net/​rfc/​session-gc
  
Line 36: Line 36:
 ===== Proposed PHP Version(s) ===== ===== Proposed PHP Version(s) =====
  
-PHP 7.1+PHP 7.2
  
 ===== Vote ===== ===== Vote =====
Line 43: Line 43:
 Vote starts: 2016/08/10 - Vote ends: 2016/08/17 23:59:59 UTC Vote starts: 2016/08/10 - Vote ends: 2016/08/17 23:59:59 UTC
  
-<doodle title="​Add session_gc() function"​ auth="yohgaki" voteType="​single"​ closed="​false">​ +<doodle title="​Add session_gc() function"​ auth="Yasuo Ohgaki" voteType="​single"​ closed="​true">​ 
-  * Yes +   ​* Yes 
-  * No+   ​* No
 </​doodle>​ </​doodle>​
  
Line 57: Line 57:
 After the project is implemented,​ this section should contain ​ After the project is implemented,​ this section should contain ​
   - the version(s) it was merged to   - the version(s) it was merged to
 +    - PHP 7.1 and master branch (Merged to PHP 7.1 also by RM permission)
   - a link to the git commit(s)   - a link to the git commit(s)
 +    - http://​git.php.net/?​p=php-src.git;​a=commitdiff;​h=1cf179e4150308d8217d9517408ca5e22b5d607f
   - a link to the PHP manual entry for the feature   - a link to the PHP manual entry for the feature
 +    - http://​svn.php.net/​viewvc?​view=revision&​revision=339955 ​
  
 ===== References ===== ===== References =====
  
   * https://​bugs.php.net/​bug.php?​id=11100   * https://​bugs.php.net/​bug.php?​id=11100
rfc/session-gc.1470821236.txt.gz · Last modified: 2017/09/22 13:28 (external edit)