mirror of
https://github.com/moodle/moodle.git
synced 2025-03-21 08:00:37 +01:00
When a setting is added/removed (i.e. an empty filter is removed) and there is no change, then we should treat this is a null-op and not refresh the table unnecessarily.