What is the best way to delete a page with a name like "Talk:Project_talk:Community Portal": that even deleteBatch.php can't deal with, as you can see in https://bugzilla.wikimedia.org/show_bug.cgi?id=11487
Trying to browse it only gets as close as http://taizhongbus.jidanni.org/index.php?title=%E7%89%B9%E6%AE%8A%3ASearch&a...
However dumpBackup.php will show its contents.
Anyway, what is the best way to delete it without damaging the database?