fix bad php55 dotdeb repo declaration
Merge branch 'develop'