Topic on Skin talk:Cavendish

We just upgraded from Mediawiki 1.36 to 1.38. Cavendish is having trouble with 1.38:

Fatal error: Cannot declare class SkinCavendish, because the name is already in use in /var/www/html/w/skins/Cavendish/SkinCavendish.php on line 0