Ayer conseguí «traducir», al fin, el calendario del WordPress.
Por un lado, cambié el día inicial de la semana, que por defecto es el Domingo, para que sea el Lunes.
Para ello realicé «a mano» las modificaciones que incluye el «parche» del que se habla aquí. En resumen, los cambios hacen que se tome en cuenta la variable start_of_week
en la confección del calendario.
Por el otro (lado) :-), cambié las iniciales de los días de la semana para que se muestren correctamente.
Esta vez, tras haber buscado mucho por Internet, decidí coger lo mejor de las soluciones que había visto y crear la mía. 8)
Así que modifiqué el archivo ~/wp-includes/locale.php
de forma que el fragmento:
Seguir leyendo Calendario WP