devel/php55-readline: forgotten commit