Cita:
Iniciado por hhs 
hmmm presiento que te esta haciendo ruido el Opcache que viene con php desde la versión 5.5, es probable que lo tengas activado y de ser así debes de reiniciarlo para que puedas ver lo cambios.
ok,como reinicio el opcache?,he reiniciado el servidor de producción y nada,he intentado usar la función opcache_reset pero me da error (la puse dentro de un controlador de la aplicacion,quizá deba ir en otro lugar).
Muchas gracias por la ayuda.