mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-01-20 03:07:56 -05:00
f3760f138d
* Complete PHPStan Level 6 Fix https://github.com/FreshRSS/FreshRSS/issues/4112 And initiate PHPStan Level 7 * PHPStan Level 6 for tests * Use phpstan/phpstan-phpunit * Update to PHPStan version 1.10 * Fix mixed bug * Fix mixed return bug * Fix paginator bug * Fix FreshRSS_UserConfiguration * A couple more Minz_Configuration bug fixes * A few trivial PHPStan Level 7 fixes * A few more simple PHPStan Level 7 * More files passing PHPStan Level 7 Add interface to replace removed class from https://github.com/FreshRSS/FreshRSS/pull/5251 * A few more PHPStan Level 7 preparations * A few last details
25 lines
585 B
PHP
Executable File
25 lines
585 B
PHP
Executable File
#!/usr/bin/env php
|
|
<?php
|
|
require(__DIR__ . '/_cli.php');
|
|
|
|
performRequirementCheck(FreshRSS_Context::$system_conf->db['type'] ?? '');
|
|
|
|
$params = array(
|
|
'user:',
|
|
);
|
|
|
|
$options = getopt('', $params);
|
|
|
|
if (!validateOptions($argv, $params) || empty($options['user']) || !is_string($options['user'])) {
|
|
fail('Usage: ' . basename(__FILE__) . " --user username");
|
|
}
|
|
|
|
$username = cliInitUser($options['user']);
|
|
|
|
echo 'FreshRSS optimizing database for user “', $username, "”…\n";
|
|
|
|
$databaseDAO = FreshRSS_Factory::createDatabaseDAO($username);
|
|
$ok = $databaseDAO->optimize();
|
|
|
|
done($ok);
|