diff options
| author | Michal Čihař <michal@cihar.com> | 2017-11-28 15:52:07 +0300 |
|---|---|---|
| committer | Michal Čihař <michal@cihar.com> | 2017-11-28 15:52:07 +0300 |
| commit | cbbf0d5ccf8a4d1b03851407b93453786cd1d952 (patch) | |
| tree | 8cf7d6cb7860cf1b17a0aa6eb0f6bc34351f5fbf /index.php | |
| parent | b30ab4af588e224486a2e9b24c49c753818bd500 (diff) | |
Integrate debug console settings into user preferences
Issue #13466
Issue #11688
Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'index.php')
0 files changed, 0 insertions, 0 deletions