Change names for rotating logs to make easier to use when gzunzip, tweak group search menu ui, a=chris

Author Chris Pollett <chris@pollett.org>
Author date 2020-06-24 18:Jun:th
Author local date 2020-06-24 11:Jun:th -0700
Committer Chris Pollett <chris@pollett.org>
Committer date 2020-06-24 18:Jun:th
Committer local date 2020-06-24 11:Jun:th -0700
Commit 45c91b6cf24e0cf1a593e29ec7f498bfcca1b607
Tree 912c2a2b235c278adb1148542342622697ab730e
Parent d0d9e2c126fe794c594271bd49547fee5aa1207d
Change names for rotating logs to make easier to use when gzunzip, tweak group search menu ui, a=chris
Affected files:
src/executables/QueueServer.php
src/library/Utility.php
src/views/elements/GroupmenuElement.php
src/views/elements/SearchmenuElement.php
ViewGit