diff options
author | Thomas Steur <thomas.steur@googlemail.com> | 2014-04-09 07:37:36 +0400 |
---|---|---|
committer | Thomas Steur <thomas.steur@googlemail.com> | 2014-04-09 07:37:36 +0400 |
commit | 58291bc9a2ab276df4e8a346f6ac486f56240a2c (patch) | |
tree | a0ea64f700d189ff9e91f50aa5030fbf5c9ea4a6 /core/Config.php | |
parent | 918355e3705e258d2bdabf6a42b9ddc8fdfbfda4 (diff) |
refs #4967 actually disable plugin during update if needed
Diffstat (limited to 'core/Config.php')
0 files changed, 0 insertions, 0 deletions