Last modified: 2014-10-06 08:25:11 UTC
A JS widget for selecting wiki pages.
https://gerrit.wikimedia.org/r/#/c/151097/