';
echo $after_widget;
}
// This is the function that outputs the form to let users edit
// the widget's title and so on. It's an optional feature, but
// we'll use it because we can!
function banner1_control() {
// Collect our widget's options.
$options = get_option('banner1');
// This is for handing the control form submission.
if ( $_POST['banner1-submit'] ) {
// Clean up control form submission options
$newoptions['title'] = strip_tags(stripslashes($_POST['banner1-title']));
$newoptions['text'] = strip_tags(stripslashes($_POST['banner1-text']));
}
// If original widget options do not match control form
// submission options, update them.
if ( $options != $newoptions ) {
$options = $newoptions;
update_option('banner1', $options);
}
// Format options as valid HTML. Hey, why not.
// $title = htmlspecialchars($options['title'], ENT_QUOTES);
// The HTML below is the control form for editing options.
?>