PHP console library.