- time: documentation ( source)
- file: documentation ( source)
- session_start: documentation ( source)
<?php
session_start();
for($f=file(__FILE__),$i=0;$i<19 /* +$_SESSION['count'] */;$i++) echo $f[$i];
$_SESSION['count'] = 0;
$_SESSION['time'] = 1498678043;
$_SESSION['count']+=($_SESSION['time']==time()-2)?2:-$_SESSION['count'];
$_SESSION['time']=time();
echo $_SESSION['count'] . " / " . $_SESSION['time'];