Changeset 554 for sites/trunk/wordpress.org/public_html/wp-content/themes/pub/wporg-developer/searchform.php

Update theme for developer.wordpress.org to the version being developed on GitHub.