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