console can now evaluate PHP