'; } if(is("edNews") && isset($_POST['newsBox'])) { editFile($newsPath, $_POST['newsBox']); echo 'News updated! '; } fetchUser($_SESSION['user_name']); ?>