Glossary: PHP Basics
A property marker meaning it can be set once, in the constructor, and never changed. Changing it later is an error.
propertyconstructor