I had a developer add some code to display shops (author names) in the header menu of my theme.

It all worked fine in earlier versions of Wordpress (3.5.1.), but since updating to 3.5.2 (soon to...