Index of <?php echo dirname($_SERVER['PHP

Index of

\\1\\2@;
  /^l/  s@\([^ ]\+\) -> \([^ *]\+\)\(\*\?\)$@\\1 -> \\2\\3@
}'`
?>