* lib/WebfinanceMantis.php: use WebfinancePreferences class instead of duplicate
  code