';
if ($new_username !== null)
echo isset($successful['username']) ? 'Username update successful.' : 'Username update failed'; echo '
';
if ($new_password !== null)
echo isset($successful['username']) ? 'Password update successful.' : 'Password update failed'; echo '
';
if ($new_username === null && $new_password === null)
echo 'There was nothing to update.';
}
function html_prologue($title) {
?>
Reason:
record(s) found.
Roll No. | Name | City | Date of birth | |
---|---|---|---|---|
', array_map('htmlspecialchars', [ $row['ROLL'], $row['NAME'], $row['EMAIL'], $row['CITY'], $row['DATE_OF_BIRTH'] ])); ?> |