<?php echo "EXT:".phpversion(); ?>
