Fixed bug #3069: Extension manager crashed because of some PHP bug with version_compa...