HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/MyVariables…

Authored by tosfos.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/MyVariables 499d2ee92acbf102d8b487738731f704d6c38f93

Use UID generator from core, whitespace fixes

Change-Id: If4747cb4564ac145a8fa62f8b43b29e2c2ed4e8b

Event Timeline