Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  b5893af39dabef24a302b056f7a3acc8df653810

get device specific stylesheet in a separate request

avoid potential cache fragmentation by allowing mobile.styles to
cache separately

Change-Id: I25de8654e73561fa31554b689377667fd9df8180