diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-08-16 08:22:05 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-08-16 08:22:05 +0200 |
| commit | 1a365e77dfb8825136626202b1df462731b42060 (patch) | |
| tree | 1dc4468eaabf070e051e790a9e67a9a9a2c63d99 /includes/UserRightsProxy.php | |
| parent | a72fd280f7acb4d2a1ba579a0f1b2b2ae8958530 (diff) | |
Update to MediaWiki 1.25.2
Diffstat (limited to 'includes/UserRightsProxy.php')
0 files changed, 0 insertions, 0 deletions