Parche temporal para problemas con extensiones en la 3.1.4

Parece que lo que prometía ser una simple actualización de mantenimiento en la rama 3.1.x se ha convertido en un auténtico quebradero de cabeza para el Production Working Group. A los problemas "logísticos" en el lanzamiento de la 3.1.2, subsanados unos días después lanzando simultáneamente la 3.1.3 y la 3.1.4 hay que unirles ahora un problema adicional: algunas extensiones dejan de funcionar tras la actualización.