Topic: Adding logintop to 1.3.2 or later via extension or other

What options do I have for adding this old 1.2 logintop mod to 1.3.2 or later?
It adds a div class "logintop"

This file below I had put in include/user/  and was called login.php

Are there hooks that allow such a "extension: logintop" to be implemented?
or what is best way to proceed in this case?

Thanks.

<?php
 
// Show login if not logged in
if($pun_user['is_guest'])
{
    if(!isset($focus_element) || (isset($focus_element) && !in_array('login', $focus_element)))
    {
 
    // Load the language files
    require PUN_ROOT.'lang/'.$pun_user['language'].'/common.php';
    require PUN_ROOT.'lang/'.$pun_user['language'].'/login.php';
 
    // Set the $redirect_url to this page, 
    $redirect_url = '' ;
    if(isset($_SERVER['REQUEST_URI'])) {
        $redirect_url = $_SERVER['REQUEST_URI'] ;
    }
 
    $required_fields = array('req_username' => $lang_common['Username'], 'req_password' => $lang_common['Password']);
 
?>
        <div class="logintop">
            <form id="login" name="login" method="post" action="login.php?action=in" onsubmit="return process_form(this)">
                <p>
                    <input type="hidden" name="form_sent" value="1" />
                    <input type="hidden" name="redirect_url" value="<?php echo $redirect_url ?>" />
                    <?php echo $lang_common['Username'] ?>:
                    <input type="text" name="req_username" size="16" maxlength="25" />
                    &nbsp;<?php echo $lang_common['Password'] ?>:
 
                    <input type="password" name="req_password" size="16" maxlength="16" />
                    &nbsp;<a href="#" onclick="document.login.submit(); return false"><?php echo $lang_common['Login'] ?></a>&nbsp;&nbsp;|&nbsp;&nbsp;<a href="register.php"><?php echo $lang_common['Register'] ?></a>
                </p>
            </form>
        </div>
<?php
    }
}else
{
?>
        <div class="logintop">
            <p>
                <?php echo $lang_common['Logged in as'].' <strong>'.pun_htmlspecialchars($pun_user['username']).'</strong>&nbsp;&nbsp;|&nbsp;&nbsp;<a href="login.php?action=out&amp;id='.$pun_user['id'].'">'.$lang_common['Logout'].'</a>'; ?>
            </p>
        </div>
<?php
}
?>