Export WMI classes as PHP class files