#!/usr/bin/php isset($options['language']) ? $options['language'] : null, 'mail_login' => isset($options['email']) ? $options['email'] : null, 'token' => isset($options['token']) ? $options['token'] : null, 'old_entries' => intParam('purge_after_months'), 'keep_history_default' => intParam('feed_min_articles_default'), 'ttl_default' => intParam('feed_ttl_default'), 'since_hours_posts_per_rss' => intParam('since_hours_posts_per_rss'), 'min_posts_per_rss' => intParam('min_posts_per_rss'), 'max_posts_per_rss' => intParam('max_posts_per_rss'), )); if (!$ok) { fail('FreshRSS could not update user!'); } invalidateHttpCache($username); done($ok);