Hab ich das nicht schon?
So...
echo '<a ';
if($_GET['nav']=='link1') echo 'class="active" ';
echo 'href ="?nav=link1">Link 1</a>';
...nur noch einfacher/kürzer wenns geht, oder macht man das üblicherweise so? Für viele Links wird das viel Code/Eventuell unübersichtlich.
MfG