PHP

Fixes the problem that after calling `DatePicker.setDate()` changing … #6809

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Syntax (7.4)	2m 37s
Check Syntax (8.0)	2m 30s
Check Syntax (8.1)	2m 27s
	7m 34s