diff options
| author | daniel <dkinzler@wikimedia.org> | 2023-10-27 19:34:38 +0200 |
|---|---|---|
| committer | daniel <dkinzler@wikimedia.org> | 2024-01-02 20:14:12 +0100 |
| commit | afbad85185329982499d79b45a6e27002eccc50e (patch) | |
| tree | be1ae5911444f2b7fd5b64d06e6324f921808437 /includes/widget/SpinnerWidget.php | |
| parent | 58ca755ce5b7c4faab1386cfe008bba1c63a7b92 (diff) | |
| download | mediawikicore-afbad85185329982499d79b45a6e27002eccc50e.tar.gz mediawikicore-afbad85185329982499d79b45a6e27002eccc50e.zip | |
EditPage: replace usage of User::pingLimiter
Using RateLimiter::limit instead.
Change-Id: Ia27cba5023994bfdc61f6d27702eeb98502d6dd4
Diffstat (limited to 'includes/widget/SpinnerWidget.php')
0 files changed, 0 insertions, 0 deletions