Remove inconsistent font-family declarations

Removed explicit uses of Helvetica Neue, Helvetica and Arial from
mediawiki.ui (currently used in om account creation and login
interface) and post-edit notifications. The browser is allowed to use
its default font instead.

Bug: 44394
Change-Id: I01eec72853b24d530d8733352a68d0a26967488f
Merge "Remove inconsistent font-family declarations"
Rebuild MessagesEn.php

Change-Id: Icf903bcf0027f08fcf06214a5fbfcc4fdfc5d0b6
Make thumb.php give http redirects if given a file redirect

See bug 22390 for some of the background. Basically there's two
reasons why we want this:
* Hotlinkers to commons. We don't want to break their links when
we move a file (Wikimedia blog is a prominent hotlinker)
* Cached entires. On wikis using commons files, a file move doesn't
trigger HTMLCacheUpdate jobs for the downstream wiki (it only
triggers it on commons). This means that these pages will still
use the old version of the html (with img tags that have the old
url) until the next edit or purge action. But these urls won't
work as soon as the file is moved.

I'm pretty confident that redirects will work at this point
in the thumb stack, as the redirects for long file names work
fine (provided no thumb exists in swift with the wrong name).

Change-Id: I40350121cf902f66fcbd3cf788335a988fa7ee33
Merge "Make thumb.php give http redirects if given a file redirect"