Thread:Project:Support desk/Is there a way to detect what skins mediawiki using?/reply (2)

It looks like this extension can't work with HHVM. Once I enable it our wiki dead.