Translations:Release notes/1.25/40/en

There's usually someone online in #mediawiki on irc.freenode.net.