diff options
Diffstat (limited to 'mod/reportedcontent/start.php')
| -rw-r--r-- | mod/reportedcontent/start.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mod/reportedcontent/start.php b/mod/reportedcontent/start.php index 66a1248d9..0638feb52 100644 --- a/mod/reportedcontent/start.php +++ b/mod/reportedcontent/start.php @@ -60,6 +60,7 @@ function reportedcontent_init() { * Serves the add report page * * @param array $page Array of page routing elements + * @return void */ function reportedcontent_page_handler($page) { // only logged in users can report things |