php-record-assignable-logger