diff options
| author | Czterooki <czterooki1337@gmail.com> | 2013-07-20 00:05:08 -0400 |
|---|---|---|
| committer | Czterooki <czterooki1337@gmail.com> | 2013-07-20 00:05:08 -0400 |
| commit | 01d9ad9d43bce7e37a546cf12bcc346ce356da66 (patch) | |
| tree | f61668272942b7d28df6a259a790dd276c5ebd10 | |
| parent | ad7d15535b8c0ddb622704a70c3b1bed6d170330 (diff) | |
inc/mod/pages.php
| -rw-r--r-- | inc/mod/pages.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/inc/mod/pages.php b/inc/mod/pages.php index 8d215efb..9ccdcb77 100644 --- a/inc/mod/pages.php +++ b/inc/mod/pages.php @@ -1055,7 +1055,6 @@ function mod_delete($board, $post) { if (!hasPermission($config['mod']['delete'], $board)) error($config['error']['noaccess']); - // Delete post deletePost($post); // Record the action modLog("Deleted post #{$post}"); |