I want to program an application with PHP which can read out the information from an device such as the running OS on it or which software is installed. I looked in the PHP manual but it's not very helpful.