- var_dump: documentation ( source)
- preg_match: documentation ( source)
- filter_var: documentation ( source)
<?php
$str = 'November 1997';
var_dump(
(int) $str,
intval($str),
filter_var($str, FILTER_SANITIZE_NUMBER_INT),
preg_match('/\d{4}/', $str)
);