Adjusting comments into files.

src/tpl/topbar.php

@@ -37,7 +37,7 @@
 <?php
 $theme_dir = __DIR__ . '/../../themes';
 $theme_files = glob($theme_dir . '/*.css');
-// default en premier, puis le reste par ordre alphabétique
+// Put the default theme first, then sort the rest alphabetically.
 usort($theme_files, function($a, $b) {
     $a_base = basename($a, '.css');
     $b_base = basename($b, '.css');
@@ -48,7 +48,7 @@ usort($theme_files, function($a, $b) {
 foreach ($theme_files as $file) {
     $slug = basename($file, '.css');
     $css  = file_get_contents($file);
-    // Lire @name et @emoji dans le premier bloc commentaire
+    // Read @name and @emoji from the first comment block.
     preg_match('/@name\s+(.+)/u',  $css, $m_name);
     preg_match('/@emoji\s+(\S+)/u', $css, $m_emoji);
     $name  = isset($m_name[1])  ? trim($m_name[1])  : ucfirst($slug);
@@ -64,4 +64,3 @@ foreach ($theme_files as $file) {
   <input class="search-input" id="searchInput" type="text" placeholder="<?= htmlspecialchars($L["search_placeholder"]) ?>" oninput="onSearchInput(this.value)" />
   <button class="search-clear" onclick="clearSearch()">&#10005;</button>
 </div>
-