Extension manager string change #8537

Merged
merged 1 commit into from Jul 23, 2014
Commits on Jul 23, 2014