wikimedia/jquery.uls — pull request #119 by werdnum (2013-11-22 05:55:28+00:00)
Title: Factor out scrollIntoView plugin, and replace it with another one developed for Flow and now included in MediaWiki.

TODO: Include it somehow?