- preg_match: documentation ( source)
- var_export: documentation ( source)
<?php
$x = "/user12345 lorem ipsum dolor";
if (!preg_match('~^/user(\d+) (.+)~', $x, $match)) {
echo 'no match';
} else {
[, $x1, $x2] = $match;
var_export($x1);
echo "\n";
var_export($x2);
}