diff --git a/lib/pluginlib.php b/lib/pluginlib.php index d80f8c50e5a..e0c22716dcc 100644 --- a/lib/pluginlib.php +++ b/lib/pluginlib.php @@ -447,9 +447,9 @@ class plugin_manager { 'theme' => array( 'afterburner', 'anomaly', 'arialist', 'base', 'binarius', 'boxxie', 'brick', 'canvas', 'formal_white', 'formfactor', - 'fusion', 'leatherbound', 'magazine', 'nimble', 'nonzero', - 'overlay', 'serenity', 'sky_high', 'splash', 'standard', - 'standardold' + 'fusion', 'leatherbound', 'magazine', 'mymobile', 'nimble', + 'nonzero', 'overlay', 'serenity', 'sky_high', 'splash', + 'standard', 'standardold' ), 'tool' => array(