also now have to derive the name of extension branches from the mediawiki major version, rather than having a nice variable for it