buscar un dato en un txt

[spider_boy]

Primero que todo, felicitarte, porque al no recibir respuesta, no dejaste de buscarla, y llegaste por tus propios medios a la solución.

Segundo, aquí tienes una sugerencia :

Código PHP:

if(preg_match("/(?<=trabajador\s:\s)\d{4}/i", $str, $m)) {
    echo "<pre>";
    print_r($m);
    echo "</pre>";
}
 

Si te fijas, uso el modificador i, esto hace que busque indpendiente de las mayúsculas/minúsculas.

También uso \d{4}, lo cual es una forma abreviada de lo que tú has escrito. El \d especifica que se quiere encontrar cualquier dígito decimal. Entre llaves especifico la cantidad de dígitos que deben haber, en este caso 4.

Espero te haya servido, y gracias por compartir tu solución .