Added a formula for boris, a php repl. Closes #571