Update CI stuff

.travis.yml

@@ -7,7 +7,6 @@ php:
   - 7.1
   - 7.2
   - 7.3
-  - hhvm
   - nightly
 
 script:

Jenkinsfile

@@ -4,8 +4,8 @@ pipeline {
  		stage('PHP 7.1') {
  			agent {
  				docker {
- 				    image 'php:7.1-alpine'
+ 					image 'php:7.1-alpine'
- 				    args '-u root --privileged'
+ 					args '-u root --privileged'
  				}
  			}
  			steps {
@@ -20,8 +20,8 @@ pipeline {
  		stage('PHP 7.2') {
  			agent {
  				docker {
- 				    image 'php:7.2-alpine'
+ 					image 'php:7.2-alpine'
- 				    args '-u root --privileged'
+ 					args '-u root --privileged'
  				}
  			}
  			steps {
@@ -33,5 +33,21 @@ pipeline {
  				sh 'phpdbg -qrr -- ./vendor/bin/phpunit --coverage-text --colors=never'
  			}
  		}
+		stage('PHP 7.3') {
+			agent {
+				docker {
+					image 'php:7.3-alpine'
+					args '-u root --privileged'
+				}
+			}
+			steps {
+				sh 'chmod +x ./build/docker_install.sh'
+				sh 'sh build/docker_install.sh'
+				sh 'apk add --no-cache php7-phpdbg'
+				sh 'curl -sS https://getcomposer.org/installer | php'
+				sh 'php composer.phar install --ignore-platform-reqs'
+				sh 'phpdbg -qrr -- ./vendor/bin/phpunit --coverage-text --colors=never'
+			}
+		}
  	}
  }