php cli configuration format converter