PHP syntax is correct; namespaces resolve correctly