Bashism
See a for an overview. Additionally, refer to b for documentation on parameter expansions (like ${PATH:+:$PATH}).
${PATH:+:$PATH}
They are history expansion characters. See c for a quick introduction. Full reference is provided in d of the bash manual.