diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-01-18 12:40:39 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-01-18 12:40:39 +0000 |
| commit | 6d71df9dcb0fb043db9942819e2f5883cec97c0e (patch) | |
| tree | 035e4edbbd95072dbe379e270b602b574c73cad3 /maintenance/generateLocalAutoload.php | |
| parent | f4cf2656df8f003a40b9869de8d146332a7830be (diff) | |
| parent | 8cfb67dc704e30e044f40986d048f83d42660324 (diff) | |
| download | mediawikicore-6d71df9dcb0fb043db9942819e2f5883cec97c0e.tar.gz mediawikicore-6d71df9dcb0fb043db9942819e2f5883cec97c0e.zip | |
Merge "userOptions: Use hasOption( 'old' ) instead of if ( $old )"
Diffstat (limited to 'maintenance/generateLocalAutoload.php')
0 files changed, 0 insertions, 0 deletions