Clean up Resources.php
authorTimo Tijhof <ttijhof@wikimedia.org>
Tue, 5 Jun 2012 14:08:52 +0000 (16:08 +0200)
committerTimo Tijhof <ttijhof@wikimedia.org>
Tue, 5 Jun 2012 14:08:52 +0000 (16:08 +0200)
commit3fc0174d64f6186180338aee3ff01281e9a600ce
treeddcd357888d317df423d37f01fd3819ad66c96b0
parent727d1d45ccdfec95e0bb1a0989c6a5e77265b6df
Clean up Resources.php

* Trailing whitespace
* Array-usage similar to rest of file

Change-Id: I08908af2541750cb28474d1209d80ea6072b77cf
resources/Resources.php