Public_Tools/wavelog
2
0
Fork 0
mirror of https://github.com/wavelog/wavelog.git synced 2026-03-22 10:24:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'dev' into dcl_frontend

Browse Source
This commit is contained in:
int2001
2025-08-24 16:42:45 +00:00
parent bd1ca21e05 c16b880bbd
commit 5bdc0a8de5
65 changed files with 4609 additions and 3087 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
application/views/user/edit.php
View File

@@ -480,7 +480,7 @@
<option value="false" <?php if ($user_locations_quickswitch == 'false') { echo " selected =\"selected\""; } ?>><?= __("Disabled"); ?></option>
<option value="true" <?php if ($user_locations_quickswitch == 'true') { echo " selected =\"selected\""; } ?>><?= __("Enabled"); ?></option>
</select>
<small id="SelectDateFormatHelp" class="form-text text-muted"><?= __("Show the Station Locations Quickswitch in the main menu"); ?></small>
<small id="SelectDateFormatHelp" class="form-text text-muted"><?= __("Show the Station Locations Quickswitch in the main menu. You can add locations by adding them to favourites at the station setup page."); ?></small>
</div>
<div class="mb-3">