PHP 7.2 compatibility errors on rest-api

Can you please confirm/deny the PHP 7.2 compatibility? I’m receiving this error report on a PHP 7.2 compatibility test:

FILE: /nas/content/live/devreplicon1/wp-content/plugins/rest-api/lib/endpoints/class-wp-rest-posts-controller.php
—————————————————————————————————————–
FOUND 2 ERRORS AFFECTING 2 LINES
—————————————————————————————————————–
773 | ERROR | Extension ‘mysql_’ is deprecated since PHP 5.5 and removed since PHP 7.0; Use mysqli instead
782 | ERROR | Extension ‘mysql_’ is deprecated since PHP 5.5 and removed since PHP 7.0; Use mysqli instead
—————————————————————————————————————–

FILE: /nas/content/live/devreplicon1/wp-content/plugins/rest-api/lib/endpoints/class-wp-rest-revisions-controller.php
———————————————————————————————————————
FOUND 2 ERRORS AFFECTING 2 LINES
———————————————————————————————————————
285 | ERROR | Extension ‘mysql_’ is deprecated since PHP 5.5 and removed since PHP 7.0; Use mysqli instead
288 | ERROR | Extension ‘mysql_’ is deprecated since PHP 5.5 and removed since PHP 7.0; Use mysqli instead
———————————————————————————————————————

FILE: /nas/content/live/devreplicon1/wp-content/plugins/rest-api/lib/endpoints/class-wp-rest-comments-controller.php
——————————————————————————————————————–
FOUND 2 ERRORS AFFECTING 2 LINES
——————————————————————————————————————–
588 | ERROR | Extension ‘mysql_’ is deprecated since PHP 5.5 and removed since PHP 7.0; Use mysqli instead
589 | ERROR | Extension ‘mysql_’ is deprecated since PHP 5.5 and removed since PHP 7.0; Use mysqli instead
——————————————————————————————————————–

FILE: /nas/content/live/devreplicon1/wp-content/plugins/rest-api/extras.php
————————————————————————————————————
FOUND 1 ERROR AFFECTING 1 LINE
————————————————————————————————————
150 | ERROR | Extension ‘mysql_’ is deprecated since PHP 5.5 and removed since PHP 7.0; Use mysqli instead
————————————————————————————————————