Nikita Popov f48ee1ff58 Clarify that the get_properties handler is required ...

Some places were checking for non-null get_properties, some weren't.
Make it clear that the handler is required and such checks are not
necessary.

2018-10-04 12:46:50 +02:00

..

tests

Merge branch 'PHP-7.3'

2018-10-02 18:20:30 +02:00

config.m4

Change some permissions from 755 to 644

2018-08-28 23:26:49 +02:00

config.w32

Change some permissions from 755 to 644

2018-08-28 23:26:49 +02:00

CREDITS

Change some permissions from 755 to 644

2018-08-28 23:26:49 +02:00

php_reflection.c

Clarify that the get_properties handler is required

2018-10-04 12:46:50 +02:00

php_reflection.h

Remove unused Git attributes ident

2018-07-25 00:53:25 +02:00