@@ 1726-1746 (lines=21) @@ | ||
1723 | foreach ($context['theme_options'] as $i => $setting) |
|
1724 | { |
|
1725 | // Just spit out separators and move on |
|
1726 | if (empty($setting) || !is_array($setting)) |
|
1727 | { |
|
1728 | // Insert a separator (unless this is the first item in the list) |
|
1729 | if ($i !== $first_option_key) |
|
1730 | echo ' |
|
1731 | </dl> |
|
1732 | <hr> |
|
1733 | <dl class="settings">'; |
|
1734 | ||
1735 | // Should we give a name to this section? |
|
1736 | if (is_string($setting) && !empty($setting)) |
|
1737 | { |
|
1738 | $titled_section = true; |
|
1739 | echo ' |
|
1740 | <dt><strong>' . $setting . '</strong></dt> |
|
1741 | <dd></dd>'; |
|
1742 | } |
|
1743 | else |
|
1744 | $titled_section = false; |
|
1745 | ||
1746 | continue; |
|
1747 | } |
|
1748 | ||
1749 | // Is this disabled? |
@@ 344-364 (lines=21) @@ | ||
341 | foreach ($context['options'] as $i => $setting) |
|
342 | { |
|
343 | // Just spit out separators and move on |
|
344 | if (empty($setting) || !is_array($setting)) |
|
345 | { |
|
346 | // Insert a separator (unless this is the first item in the list) |
|
347 | if ($i !== $first_option_key) |
|
348 | echo ' |
|
349 | </dl> |
|
350 | <hr> |
|
351 | <dl class="settings">'; |
|
352 | ||
353 | // Should we give a name to this section? |
|
354 | if (is_string($setting) && !empty($setting)) |
|
355 | { |
|
356 | $titled_section = true; |
|
357 | echo ' |
|
358 | <dt><strong>' . $setting . '</strong></dt> |
|
359 | <dd></dd>'; |
|
360 | } |
|
361 | else |
|
362 | $titled_section = false; |
|
363 | ||
364 | continue; |
|
365 | } |
|
366 | ||
367 | echo ' |
|
@@ 571-591 (lines=21) @@ | ||
568 | foreach ($context['settings'] as $i => $setting) |
|
569 | { |
|
570 | // Is this a separator? |
|
571 | if (empty($setting) || !is_array($setting)) |
|
572 | { |
|
573 | // We don't need a separator before the first list element |
|
574 | if ($i !== $first_setting_key) |
|
575 | echo ' |
|
576 | </dl> |
|
577 | <hr> |
|
578 | <dl class="settings">'; |
|
579 | ||
580 | // Add a fake heading? |
|
581 | if (is_string($setting) && !empty($setting)) |
|
582 | { |
|
583 | $titled_section = true; |
|
584 | echo ' |
|
585 | <dt><strong>' . $setting . '</strong></dt> |
|
586 | <dd></dd>'; |
|
587 | } |
|
588 | else |
|
589 | $titled_section = false; |
|
590 | ||
591 | continue; |
|
592 | } |
|
593 | ||
594 | echo ' |