Add PHP REPL details