unknown-horizons/unknown-horizons — pull request #2006 by ChrisOelmueller (2013-01-24 00:22:09+00:00)
Title: <hr />

Since this was used more than 80 times, i believe that a custom widget makes sense.