Add language label coloring for PHP, adjust some other colors and
add information about the source of the language label