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 /js | |
parent | 7ed4fa4c1dbdd9df552cf6dd28907c6769911a0e (diff) |
Address PHPStan warning about unused private method 'Prefs::_delete()'.
Diffstat (limited to 'js')
0 files changed, 0 insertions, 0 deletions