HomePhabricator

Various IRC channel fixes. 1. Change #wmt to #wmt-bots in bot-wmt-delete.php…

Authored by PiRSquared17.

Description

Various IRC channel fixes. 1. Change #wmt to Tool-WMT-bots in bot-wmt-delete.php (wmtbot-9) 2. remove private message to user `huh' from bot-wmt-es.php

Change-Id: I20a8a56bee712cd3a2f9a3483440e6a215ed3ce2

Details

Committed
[[mw:User:PiRSquared17]]Feb 4 2014, 9:11 PM
Parents
rTWMT28b435475dd5: Ignore bots in -newpages
Branches
Unknown
Tags
Unknown
References
refs/changes/19/111319/1
ChangeId
I20a8a56bee712cd3a2f9a3483440e6a215ed3ce2

Event Timeline