MaxSem has uploaded a new change for review.
https://gerrit.wikimedia.org/r/72773
Change subject: Quick hack to remove now useless device modules
......................................................................
Quick hack to remove now useless device modules
Change-Id: Id96853c84a44ae87a0c9eb57218bf47963586e0d
---
M includes/MobileFrontend.hooks.php
1 file changed, 0 insertions(+), 12 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend
refs/changes/73/72773/1
diff --git a/includes/MobileFrontend.hooks.php
b/includes/MobileFrontend.hooks.php
index 0739a5d..427720f 100644
--- a/includes/MobileFrontend.hooks.php
+++ b/includes/MobileFrontend.hooks.php
@@ -233,18 +233,6 @@
public static function onResourceLoaderRegisterModules( ResourceLoader
&$resourceLoader ) {
global $wgMFMobileResourceBoilerplate, $wgMFLogEvents,
$wgResourceModules, $wgMFVaryResources;
- if ( !$wgMFVaryResources ) {
- $detector = DeviceDetection::factory();
- foreach ( $detector->getCssFiles() as $file ) {
- $resourceLoader->register(
"mobile.device.$file",
- $wgMFMobileResourceBoilerplate +
- array(
- 'styles' => array(
"stylesheets/devices/{$file}.css" ),
- )
- );
- }
- }
-
// disable event logging module on mobile
if ( !$wgMFLogEvents && isset(
$wgResourceModules['ext.eventLogging'] ) ) {
$wgResourceModules['ext.eventLogging']['targets'] =
array( 'desktop' );
--
To view, visit https://gerrit.wikimedia.org/r/72773
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Id96853c84a44ae87a0c9eb57218bf47963586e0d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: MaxSem <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
