From e197c879e4352677fdb03452da480f4b0818b582 Mon Sep 17 00:00:00 2001
From: Esdras Caleb Oliveira Silva <esdrascaleb@gmail.com>
Date: Wed, 15 May 2024 09:31:34 -0300
Subject: [PATCH] lint

---
 tests/tool_deletemessage_test.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/tool_deletemessage_test.php b/tests/tool_deletemessage_test.php
index edf58bf..9740746 100644
--- a/tests/tool_deletemessage_test.php
+++ b/tests/tool_deletemessage_test.php
@@ -100,6 +100,7 @@ private function make_message() {
     /**
      * Test if the hard delection function works
      * @return void
+     * @covers hard_delete_message
      */
     public function test_deleting() {
         global $CFG, $DB;
@@ -114,6 +115,7 @@ public function test_deleting() {
     /**
      * Test taks of delection to not delete all messages
      * @return void
+     * @covers tool_deletemessage\tast\delete::execute
      */
     public function test_taks_isnotdeleting() {
         global $CFG, $DB;