/** * Returns (an creates if not set yet) the preference file name */ protected static function getPrefFile() { if (!self::$prefFile) { $name = preg_replace('`\\W`', '', APP_HOST); self::$prefFile = 'preferences' . $name . '.php'; } return self::$prefFile; }