added php55-extensions