[ Version ( since = "1.7" ) ]
public void set_banner (Banner? banner)
Sets the banner displayed at the top of the page.
| this |
a preferences page |
| banner |
the banner to display at the top of the page |