Updated mediawiki/extensions
Project: mediawiki/extensions/CentralNotice  c64d67f519fe8366026f45faa15a84a79209bf91

Banner Device is Independent of Campaign Priority

For allocation purposes we need to treat the device a banner is
targetting independent of the campaign. This avoids situations where
a High priority campaign on desktop will prevent a Normal priority
mobile campaign from working.

Change-Id: Ia08c52aa8a7430dafe9cdf734892e912be85c6cb