Use 3.13.0 YUI lib instead of 3.9.1