mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages
synced 2024-09-23 18:31:09 +00:00
19729997d5
Remove using of User:getOption since this method will be hard-deprecated. Now it is soft-deprecated Bug: T296083 Change-Id: Ia6c2fb8a4510cc55e424fc23816e71b2b93732b4 |
||
---|---|---|
.. | ||
Hooks | ||
Job | ||
ApiQueryPageImages.php | ||
PageImageCandidate.php | ||
PageImages.php |