Nextcloud 13 is not compatible with newer than php 7.2#6830

MorrisJobke merged 1 commit intomasternextcloud/server:masterfrom

nc13_no_later_72nextcloud/server:nc13_no_later_72Copy head branch name to clipboard