VPX_TYPE_INT

in vpx_shared/vpx_shared_defines.php

<?php
define('VPX_TYPE_INT', 'int');
?>