Andreas Gohr 413313a155 Merge branch 'logging' ... * logging: added JavaScript based filter mechanism added logging configuration replaced out calls to dbglog with new Logger calls added convenience methods to log to our default facilities added logviwer admin plugin added log dir to git central logging mechanism		2020-12-03 20:01:57 +01:00
..
DebugHelper.php	Merge branch 'logging'	2020-12-03 20:01:57 +01:00
PropertyDeprecationHelper.php	Refactor deprecation logging into its own class	2019-02-25 22:13:38 +01:00