benapetr/wikimedia-bot — pull request #34 by YenaHong (2014-04-10 08:37:55+00:00)
Title: Add tools

tools, pointing to tools.wmflabs.org so old code [[tools:]] can be used.