Fix minor issues found with phan
authorWMDE-Fisch <christoph.jauera@wikimedia.de>
Mon, 7 Aug 2017 14:55:20 +0000 (16:55 +0200)
committerWMDE-Fisch <christoph.jauera@wikimedia.de>
Wed, 9 Aug 2017 20:42:09 +0000 (22:42 +0200)
commit21aae8b8f3145ccb3639ea4e46adfa981295831b
treec8e223403a0b179085dba8eb42e910dab1d5a5a5
parent956c2430c7b8fceb289aaeacc8d6c2e0def2c56e
Fix minor issues found with phan

- fixed PHPDoc
- replaced deprecated function

Bug: T153252
Change-Id: I072a1c1201bd19eafe7c50bbbf32a71fa4a92a46
includes/Revision.php
includes/media/Bitmap.php
includes/page/WikiPage.php