Onde estão as linhas contidas em dateMenu.js agora?

Question

/usr/share/gnome-shell/js/ui/dateMenu.js não existe mais no gnomo real. Alguém sabe onde estão as linhas contidas nesse arquivo agora?

Obrigado antecipadamente.