|
@@ 136-138 (lines=3) @@
|
| 133 |
|
unset($info['advanced help settings']); |
| 134 |
|
|
| 135 |
|
// Check translated strings for translatable global settings. |
| 136 |
|
if (isset($translation['advanced help settings']['name'])) { |
| 137 |
|
$ini['settings']['name'] = $translation['advanced help settings']['name']; |
| 138 |
|
} |
| 139 |
|
if (isset($translation['advanced help settings']['index name'])) { |
| 140 |
|
$ini['settings']['index name'] = $translation['advanced help settings']['index name']; |
| 141 |
|
} |
|
@@ 139-141 (lines=3) @@
|
| 136 |
|
if (isset($translation['advanced help settings']['name'])) { |
| 137 |
|
$ini['settings']['name'] = $translation['advanced help settings']['name']; |
| 138 |
|
} |
| 139 |
|
if (isset($translation['advanced help settings']['index name'])) { |
| 140 |
|
$ini['settings']['index name'] = $translation['advanced help settings']['index name']; |
| 141 |
|
} |
| 142 |
|
} |
| 143 |
|
|
| 144 |
|
foreach ($info as $name => $topic) { |