sitepoint-group/highlight-wordpress — pull request #1 by michaelsauter (2013-08-06 04:23:40+00:00)
Title: Check if $_GET['settings-updated'] is set

Produces a notice otherwise.