This page lists files in the current directory. You can view content, get download/execute commands for Wget, Curl, or PowerShell, or filter the list using wildcards (e.g., `*.sh`).
wget 'https://sme10.lists2.roe3.org/FreshRSS/tests/fixtures/migrations_with_failing/2020_01_11_FooBar.php'<?php
declare(strict_types=1);
class FreshRSS_Migration_2020_01_11_FooBar {
/**
* @return bool true if the migration was successful, false otherwise
*/
public static function migrate(): bool {
return true;
}
}
wget 'https://sme10.lists2.roe3.org/FreshRSS/tests/fixtures/migrations_with_failing/2020_01_12_Baz.php'<?php
declare(strict_types=1);
class FreshRSS_Migration_2020_01_12_Baz {
/**
* @return bool true if the migration was successful, false otherwise
*/
public static function migrate(): bool {
return false;
}
}