#!/usr/bin/env php db['type'] ?? ''); $parameters = [ 'long' => [ 'user' => ':', ], 'short' => [], 'deprecated' => [], ]; $options = parseCliParams($parameters); if (!empty($options['invalid']) || empty($options['valid']['user']) || !is_string($options['valid']['user'])) { fail('Usage: ' . basename(__FILE__) . " --user username"); } $username = cliInitUser($options['valid']['user']); echo 'FreshRSS optimizing database for user “', $username, "”…\n"; $databaseDAO = FreshRSS_Factory::createDatabaseDAO($username); $ok = $databaseDAO->optimize(); done($ok);