j
k
j a
j l
On 08/19/2013 03:27 PM, Steven Walling wrote:
Isn't there a patch awaiting review/revision to load mediawiki.ui by default, to solve this very problem?
Yes, it is https://gerrit.wikimedia.org/r/#/c/70740/ .
Matt Flaschen
Back to the thread
Back to the list