{"body":"my $user-id = $cmd-obj.args;\n\nif ($cmd-obj.args ~~ / '<@' '!'? <(\\d+)> '>' /) {\n    $user-id = $/;\n}","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/jOIwi3bw","modified":1561655249,"id":"jOIwi3bw","size":100,"lines":5,"own_paste":false,"theme":"","date":1561655249}