[phpMyAdmin Git] [phpmyadmin/motranslator] 9291bd: Use php 7.3 for the Doctum step

[William Desportes]

Branch: refs/heads/master
Home: https://github.com/phpmyadmin/motranslator
Commit: 9291bd272a10e4cfa71713dd47ef17caef25c0ca
https://github.com/phpmyadmin/motranslator/commit/9291bd272a10e4cfa71713dd47ef17caef25c0ca
Author: William Desportes <williamdes at wdes.fr>
Date: 2020-10-25 (Sun, 10 October 2020) +01:00

Changed paths: 
M .travis.yml

Log Message:
-----------
Use php 7.3 for the Doctum step

Not needed but the last API CI failed for no reason

Signed-off-by: William Desportes <williamdes at wdes.fr>