mirror of
https://github.com/moodle/moodle.git
synced 2025-02-06 00:05:43 +01:00
14eef46494
Sorry, Gustav, but all those record_exists calls were too much overhead. It's better done by a check in the delete page... this will also account for the case where a reply has been made since the post was displayed on screen.