php/php-src — pull request #879 by TazeTSchnitzel (2014-10-23 23:21:55+00:00)
Title: Readonly properties

RFC: https://wiki.php.net/rfc/readonly_properties