jenkins-bot has submitted this change and it was merged.
Change subject: Implement hook "remove"
......................................................................
Implement hook "remove"
Kick is a brutal action... just remove the user, and he will not notice it....
Change-Id: Iad21049e8eb5503db2ab748e45ac032674b43df4
---
A bot_functions/remove.php
1 file changed, 9 insertions(+), 0 deletions(-)
Approvals:
Luke081515: Verified; Looks good to me, approved
jenkins-bot: Verified
diff --git a/bot_functions/remove.php b/bot_functions/remove.php
new file mode 100644
index 0000000..6d838c6
--- /dev/null
+++ b/bot_functions/remove.php
@@ -0,0 +1,9 @@
+<?php
+$bot->add_privmsg_hook($c . "remove", "ircbot_remove");
+function ircbot_remove($object, $params, $prefix, $channel) {
+ global $owner;
+ $nick = IRC::get_nick($prefix);
+ if ($nick == $owner)
+ $object->remove($channel . " " . $params);
+}
+?>
\ No newline at end of file
--
To view, visit https://gerrit.wikimedia.org/r/296425
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iad21049e8eb5503db2ab748e45ac032674b43df4
Gerrit-PatchSet: 4
Gerrit-Project: labs/tools/Luke081515IRCBot
Gerrit-Branch: master
Gerrit-Owner: Luke081515 <[email protected]>
Gerrit-Reviewer: Luke081515 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
