diff options
author | Thomas Steur <thomas.steur@googlemail.com> | 2014-05-29 07:13:26 +0400 |
---|---|---|
committer | Thomas Steur <thomas.steur@googlemail.com> | 2014-05-29 07:13:26 +0400 |
commit | 7d1b664211287dda8199f8757b00d0b023fda4a4 (patch) | |
tree | 50c255e785032cf721f3a8538b9ebb6e12edb402 /core | |
parent | 5bbf3b7891c5988c457a0a56d6495af72ae479d9 (diff) |
refs #5212 should fix core tests
Diffstat (limited to 'core')
-rw-r--r-- | core/Plugin/Manager.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/core/Plugin/Manager.php b/core/Plugin/Manager.php index e6cca5bb20..9c481bb03b 100644 --- a/core/Plugin/Manager.php +++ b/core/Plugin/Manager.php @@ -77,8 +77,7 @@ class Manager extends Singleton // Themes bundled with core package, disabled by default protected $coreThemesDisabledByDefault = array( - 'ExampleTheme', - 'LeftMenu', + 'ExampleTheme' ); /** |