Check if $_GET['settings-updated'] is set

Produces a notice otherwise.