wikimedia/jquery.uls — pull request #118 by werdnum (2013-11-22 04:56:21+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?