System console in PHP