diff options
author | Simon Rettberg | 2023-06-12 13:52:44 +0200 |
---|---|---|
committer | Simon Rettberg | 2023-06-12 13:52:44 +0200 |
commit | 38d3ecc6a52acbe1f2a3f243a6fe1cf3f98fcbb7 (patch) | |
tree | 7156f11091081703c7266cfcb0a5c5b1bfde83ba /modules-available/minilinux/page.inc.php | |
parent | [vmstore] Continuously drop caches while benchmarking (diff) | |
download | slx-admin-38d3ecc6a52acbe1f2a3f243a6fe1cf3f98fcbb7.tar.gz slx-admin-38d3ecc6a52acbe1f2a3f243a6fe1cf3f98fcbb7.tar.xz slx-admin-38d3ecc6a52acbe1f2a3f243a6fe1cf3f98fcbb7.zip |
[minilinux] Minor design tweaks to list
- Hackish way to hide sort-order inlined in title
- Border for change-log
- Shorten cooldown for list update to 3 minutes (was 10)
Diffstat (limited to 'modules-available/minilinux/page.inc.php')
-rw-r--r-- | modules-available/minilinux/page.inc.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/modules-available/minilinux/page.inc.php b/modules-available/minilinux/page.inc.php index 035a45d5..2099b8c5 100644 --- a/modules-available/minilinux/page.inc.php +++ b/modules-available/minilinux/page.inc.php @@ -40,6 +40,11 @@ class Page_MiniLinux extends Page $sourceList = []; // Group by branch for detailed listing, add usage info foreach ($branches as &$branch) { + // Little hack: We abuse the title for ordering, so if the second char is a space, assume the first one + // is just for sort order and remove it. + if ($branch['title'][1] === ' ') { + $branch['title'] = substr($branch['title'], 2); + } $bid = 'div-' . str_replace('/', '-', $branch['branchid']); if (!isset($sourceList[$branch['sourceid']])) { $sourceList[$branch['sourceid']] = ['sourceid' => $branch['sourceid'], 'list' => []]; |