39496-vm/patch_nav.php
2026-04-06 04:21:26 +00:00

17 lines
710 B
PHP

<?php
$content = file_get_contents('includes/app.php');
$nav_old = '<a class="navbar-brand fw-semibold" href="<?= h(app_url(\'index.php\')) ?>"><?= h(app_name()) ?></a>';
$nav_new = <<<'EOD'
<a class="navbar-brand fw-semibold d-flex align-items-center" href="<?= h(app_url('index.php')) ?>">
<?php $prof = get_platform_profile(); if (!empty($prof['logo_path'])): ?>
<img src="<?= h(asset_url($prof['logo_path'])) ?>" alt="Logo" style="height: 32px; margin-right: 8px; border-radius: 4px;">
<?php endif; ?>
<span><?= h(app_name()) ?></span>
</a>
EOD;
$content = str_replace($nav_old, $nav_new, $content);
file_put_contents('includes/app.php', $content);
echo "Patched navbar\n";