mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-09-25 03:08:16 +00:00
b8a2225bb2
I've been noticing this problem for a long time: sometimes, when the filter editor stays open for a long time and you try to click "save filter", the page is scrolled and the edit isn't save (while it is indeed saved when clicking save again). I found out that this is due to edit token not matching. If that happens and the request was posted, warn user to re-save the edit. Change-Id: Id0c5600bf22632f57d237a19b492cc9c297be736 |
||
---|---|---|
.. | ||
AbuseFilterView.php | ||
AbuseFilterViewDiff.php | ||
AbuseFilterViewEdit.php | ||
AbuseFilterViewExamine.php | ||
AbuseFilterViewHistory.php | ||
AbuseFilterViewImport.php | ||
AbuseFilterViewList.php | ||
AbuseFilterViewRevert.php | ||
AbuseFilterViewTestBatch.php | ||
AbuseFilterViewTools.php |