Unfortunately modifying that file would modify it for all forums, which is probably not what others want. It is therefore better to either fork this extension and include it at FreeFlarum, or even better, to have a switch (setting) implemented in this extension that will delete the posts instead of flagging them
