Wikimedia Mobile engineering/imported/Mobile projects/BadRedirect/UA