Hi,

The following little change by myself was merged by Aude on September 9:
https://gerrit.wikimedia.org/r/#/c/159070/

As far as I can see, it is not deployed to Wikipedia yet.

It's not really urgent, but it made me curious: What is the deployment schedule for Wikidata extensions?

--
Amir Elisha Aharoni · אָמִיר אֱלִישָׁע אַהֲרוֹנִי
http://aharoni.wordpress.com
‪“We're living in pieces,
I want to live in peace.” – T. Moore‬