I've just branched REL1_25 for MediaWiki core from 6dae212. Master
has now been bumped to 1.26alpha.
Please don't break master immediately with all kinds of backwards
incompatible changes...makes backporting fixes a pain. Think of the
poor release manager ;-)
Also: extensions are in the process of being branched and will complete
over the next hour or two. Slow script is slow.
-Chad