diff options
| author | wn_ <[email protected]> | 2023-03-05 14:10:38 +0000 |
|---|---|---|
| committer | wn_ <[email protected]> | 2023-03-05 14:20:19 +0000 |
| commit | dabb85c7dd82d2e97e400e0339d312030d4a1b4b (patch) | |
| tree | 9235156aa9750896adc31374d3caffc2a79c6b38 /backend.php | |
| parent | 7ed4fa4c1dbdd9df552cf6dd28907c6769911a0e (diff) | |
Address PHPStan warning about unused private method 'Prefs::_delete()'.
Diffstat (limited to 'backend.php')
0 files changed, 0 insertions, 0 deletions