Fix a few incorrect annotations
authorErik Bernhardson <ebernhardson@wikimedia.org>
Fri, 1 Jul 2016 00:08:44 +0000 (17:08 -0700)
committerErik Bernhardson <ebernhardson@wikimedia.org>
Fri, 1 Jul 2016 00:50:40 +0000 (17:50 -0700)
commitdd3b9a3343857be352bdd889541b477fd4392609
treec59cbcbb6cfaf59499ce13972c266f5eff687785
parent5a25b01376a4d8b43cb856c2eafd24d5b1865e12
Fix a few incorrect annotations

Found by applying etsy/phan to the mediawiki codebase, in preparation
for getting it running more regularly via CI. Has no effect on how the
code runs, simply does a better job of documenting the code.

Change-Id: I4c844a51df3ffe4fbb96cac25f3eff2f7a9faca2
includes/api/ApiMain.php
includes/content/AbstractContent.php
includes/db/DatabaseOracle.php
includes/db/DatabasePostgres.php
includes/filerepo/FileRepo.php
includes/jobqueue/jobs/DoubleRedirectJob.php
includes/specialpage/ChangesListSpecialPage.php
includes/specials/SpecialRandomInCategory.php
includes/specials/SpecialRecentchanges.php
maintenance/dumpTextPass.php
maintenance/preprocessorFuzzTest.php