This adds a fragment requirements class to allow plugins
to register JavaScript to be used in an mform.

All behat drivers are now replicating human behavior
so when the browser scrolls something into view it doesn't account
for fixed positioned elements that end up obscuring the item thus
leading to errors that could be avoided by scrolling an additional amount.

Now, if a site-theme is set for tablet/phone AND the user is using
a tablet/phone that site-theme will be used, always. In any other
case the normal theme resolution will be used: course, category, ...

Added statistics and grade to the reports section in the user
profile.

Damyon Wiese authored May 16, 2014 and Marina Glancy committed Jun 23, 2014

(Only from webservices)

This commit moves user agent related functionality out of several
core libraries and combines it into a more manageable class.
All core uses are converted and functions deprecated in favor
of the new class.

This reverts commit af62237d.
This reverts commit 87a4194f.
This reverts commit b2c66eb6.

Conflicts:

	version.php

This reverts commit ab7632b7.

This commit moves user agent related functionality out of several
core libraries and combines it into a more manageable class.
All core uses are converted and functions deprecated in favor
of the new class.

The patch converts the dock into a YUI shifter module and at
the same time improves several aspects of its operation.
The features of this patch include:
* Dock Module conversion.
* A loader that ensures we don't include the dock JS or its
  requirements unless actually required.
* We no longer include the dock JS for themes that don't
  enable it.
* Blocks no longer add registration events to the page
  instead a dockable attribute is added to the html and the
  loader looks for that.
* The dock module is properly documented and running YUIDoc
  gives good quality documentation.
* We no longer need the dock module registration or
  subcomponent.
* All events that can be delegated are now delegated.
* Removed unused variables and code left over after fixes.
* Support for docking blocks renderered using the new blocks
  render method. Better support for custom block regions.

Petr Škoda authored Apr 10, 2013 and Damyon Wiese committed Apr 15, 2013

This patch is based on work by Gareth J Barnard, Pau Ferrer Ocaña (crazyserver) and others.

Only a problem when formatstringstriptags is disabled

This should allow us to switch page layout on admin pages and elsewhere before $OUTPUT->header() call.