https://bugzilla.wikimedia.org/show_bug.cgi?id=55253
--- Comment #1 from Kunal Mehta (Legoktm) legoktm.wikipedia@gmail.com --- I increased the priority because the dump server has already been dead for several weeks and seems not to revive in the near future. In this emergency we are compelled to use -search for replace.py instead of dump.