Simple string parser in PHP