Add automated WP.org deploys

Erick Hitterrequested to merge
add/wp-auto-deploy into master

Also resolves a warning under PHP 7.3.

Merge request reports