Wie aktualisiere ich PHP 7.2 in einem Bitnami Wordpress Stack?