Merge "Clean up Resources.php"
authorAaron Schulz <aschulz@wikimedia.org>
Tue, 5 Jun 2012 20:14:24 +0000 (20:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 5 Jun 2012 20:14:25 +0000 (20:14 +0000)

Trivial merge