(bug 35941) Fix PHP notice in SpecialVersion::getVersion()