+ # hack around a bug where building=yes was imported with
+ # quotes into the wiki
+ $sType = preg_replace('/"/', '', $sType);
+ # sanity check, in case somebody added garbage in the wiki
+ if (preg_match('/^\\w+$/', $sClass) < 1 ||
+ preg_match('/^\\w+$/', $sType) < 1) {
+ trigger_error("Bad class/type for language $sLanguage: $sClass=$sType");
+ exit;
+ }