diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-07-05 15:12:37 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-07-05 15:12:37 +0000 |
| commit | 2f17ad487cffd29b89ac4bed85af9e80d39c75a5 (patch) | |
| tree | 7b00a6ea2b04c7cf2cc7bf9aecb1ea7a5a75d512 /maintenance/undelete.php | |
| parent | be3e67484ab0b36b920c56bb354e1cdd9aded204 (diff) | |
| parent | e66f66d875b36aa09925f021192134c23e118ff6 (diff) | |
| download | mediawikicore-2f17ad487cffd29b89ac4bed85af9e80d39c75a5.tar.gz mediawikicore-2f17ad487cffd29b89ac4bed85af9e80d39c75a5.zip | |
Merge "Use namespaced classes"
Diffstat (limited to 'maintenance/undelete.php')
0 files changed, 0 insertions, 0 deletions