Merge branch 'master' into next
authorMatthias Schmidt <gravatronics@live.com>
Tue, 5 Feb 2019 18:00:55 +0000 (19:00 +0100)
committerMatthias Schmidt <gravatronics@live.com>
Tue, 5 Feb 2019 18:00:55 +0000 (19:00 +0100)
commit1e0d6519456a0bc4eda2f975a89ef77b1ef5f41a
tree43c98030c976c875e7a234a9c63fbff0fd0acb3e
parent159ddbdbadb67e048103fd3f8625a73b3254741d
parent592e4d08a0d4e275a316fb899115c1c6258744ed
Merge branch 'master' into next
com.woltlab.wcf/templates/pageHeaderSearch.tpl
wcfsetup/install/files/lib/data/user/User.class.php
wcfsetup/install/files/lib/system/devtools/pip/DevtoolsPip.class.php