diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2020-07-13 19:34:59 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2020-08-12 17:42:26 +0200 |
| commit | 0e69c9aff9ff4cba682a19c90e461c1fc38a1c02 (patch) | |
| tree | 191cc30dd7c8024607e40f08a947abea91b87996 /lib/scripts/jquery/jquery-ui-theme | |
| parent | 7e0b27f2adf6886e1828a6d77152719228566d88 (diff) | |
| download | dokuwiki-0e69c9aff9ff4cba682a19c90e461c1fc38a1c02.tar.gz dokuwiki-0e69c9aff9ff4cba682a19c90e461c1fc38a1c02.zip | |
log stacktrace to error log
Ultimately the one responsible for fixing the problem will need this
anyway. Better log it right away for (hopefully) better bug reports
Diffstat (limited to 'lib/scripts/jquery/jquery-ui-theme')
0 files changed, 0 insertions, 0 deletions