diff options
| author | Kaldari <rkaldari@wikimedia.org> | 2013-02-27 19:08:40 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2013-02-27 19:08:40 +0000 |
| commit | 018686256b0406ccc9f94f4cb2656e966645e2ea (patch) | |
| tree | 83a4134b44b880049140e52539f44c124451fb8c /includes/filebackend/lockmanager | |
| parent | b5e2ea02980290ed04403d466a39e4602810bb0b (diff) | |
| parent | 910ed234e832dc537b9edfc88b0d7c460ed988d7 (diff) | |
| download | mediawikicore-018686256b0406ccc9f94f4cb2656e966645e2ea.tar.gz mediawikicore-018686256b0406ccc9f94f4cb2656e966645e2ea.zip | |
Merge "Change new wgUserRegistration format, put in User:"
Diffstat (limited to 'includes/filebackend/lockmanager')
0 files changed, 0 insertions, 0 deletions