XWIKI-10308: Upgrade to Prototype.js 1.7.2
Done.