Luke081515 has uploaded a new change for review. https://gerrit.wikimedia.org/r/296427
Change subject: Adjust url[en/de]code tools ...................................................................... Adjust url[en/de]code tools Pings the user instead of mentioning him. Change-Id: I41f64f3e711eb4006bafed8559a27bc4886b3f07 --- M bot_functions/tools.php 1 file changed, 2 insertions(+), 2 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/labs/tools/Luke081515IRCBot refs/changes/27/296427/1 diff --git a/bot_functions/tools.php b/bot_functions/tools.php index 1bf6a0f..a565d0f 100644 --- a/bot_functions/tools.php +++ b/bot_functions/tools.php @@ -4,12 +4,12 @@ $nick = IRC::get_nick($prefix); $param = urlencode($params); $param = str_replace ("%0D", "", $param); - $object->privmsg($channel, ":urlencode@" . $nick . ": " . $param); + $object->privmsg($channel, $nick . ": '" . $param . "'"); } $bot->add_privmsg_hook($c . "urldecode", "ircbot_urldecode"); function ircbot_urldecode($object, $params, $prefix, $channel) { $nick = IRC::get_nick($prefix); - $object->privmsg($channel, ":urldecode@" . $nick . ": " . urldecode($params)); + $object->privmsg($channel, $nick . ": '" . urldecode($params) . "'"); } ?> -- To view, visit https://gerrit.wikimedia.org/r/296427 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I41f64f3e711eb4006bafed8559a27bc4886b3f07 Gerrit-PatchSet: 1 Gerrit-Project: labs/tools/Luke081515IRCBot Gerrit-Branch: master Gerrit-Owner: Luke081515 <luke081...@web.de> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits