Last modified: 2014-10-09 19:02:09 UTC
Gerrit change #39495.
Moved to Wikimedia > Extension setup.
Deployed today (12/20/2012)