Delete skins/common/{ajax.js, wikibits.js, images/{magnify-clip-rtl.png, redirectltr.png, redirectrtl.png}}

* ajax.js, wikibits.js:
  Was kept for third parties. (user scripts etc.)
* redirectltr.png, redirectrtl.png:
  Was kept for cached stylesheets, after I8fa565833545e41d02 removed
  usage in MediaWiki core.
* magnify-clip-rtl.png:
  Was kept for third parties. (user scripts etc.)

Bug: 69277
Change-Id: I54b170b557414e2f3cda4c85053cd0f2cbefc10d
Performance improvements for autoload generator

Both zend and HHVM run through the autoload file faster when it
is a single array literal rather than individual key assignments.

The __DIR__ string concatenation remains because HHVM and Zend >= 5.5.0
optimize away constant string concatenation.

Change-Id: I75403ace264b09930d5cc545e62b8d7c3f1ad064
Avoid sending spammy @X xhprof entries over UDP

Change-Id: I8509932f7368cab2a5426f437845e2849a82d9b4
AutoloadGenerator: Don't throw MWExceptions

The class won't have been autoloaded, so it can't be used.

Change-Id: I54a9be600839c7bffe7debb8ee35ac46694390b4
mediawiki.special.changeslist.legend: Avoid legend as stairs

Skin Modern has
  dt { margin-bottom: 0.1em }
This generates a legend like a stair.
This change resets the margin to the default for .mw-changeslist-legend.

Change-Id: I3cf0301c1f46cfbb1b9170b18ca4dc52a7a7a903
Localisation updates from https://translatewiki.net.

Change-Id: I25f795abac11cdcf3c3aede626b026407f67e699
Merge "mediawiki.special.changeslist.legend: Avoid legend as stairs"
Delete skins/common/images/magnify-clip.png

There are still some requests for it per bug 69277 comment 90, but per
bug 69678 comment 10 all usages are forward-compatible or have been
already removed.

Bug: 69277
Change-Id: If6a16fb5aa5a826a58c8dec67e3583ccf12761e2
Delete skins/common/images/bullet.gif

There are still some requests for it per bug 69277 comment 90, but per
bug 69678 comment 12 all usages have been already removed.

This is the last file in the skins/common/ directory.

Bug: 69277
Change-Id: Id9de81d0efa91fa20dfd10d56a8ae814de43ff6e
Merge "Delete skins/common/{ajax.js, wikibits.js, images/{magnify-clip-rtl.png, redirectltr.png, redirectrtl.png}}"
Merge "Delete skins/common/images/magnify-clip.png"
Merge "Delete skins/common/images/bullet.gif"
mediawiki.skinning: Provide SVG version of the "magnify clip" icon

PNGs re-generated from the SVG.

Bug: 69705
Change-Id: Ica2e82598f545764a734399462231fe3c4ea7005
generateLocalAutoload.php: Abort for web requests

The Maintenance class already does this, though this script does not use it
for the obvious reason that when there is a missing or incorrect autoloader
entry, it may not be possible to initialize MediaWiki.

Hence it is necessary to do that explicitly in this script. Overwriting
autoload.php potentially could disrupt the operation of a production wiki
(the file is truncated when it is opened).

Change-Id: I05d5d4b7c30c4643e71ca5819783627688e15da7
Merge "generateLocalAutoload.php: Abort for web requests"
Snapshot

Change-Id: Ib35172dd8b8bc4bee28cb393436922e2bd7a9cc1