ResourceLoader.php: Fix E_NOTICE
authorTimo Tijhof <ttijhof@wikimedia.org>
Fri, 29 Jun 2012 08:40:28 +0000 (10:40 +0200)
committerTimo Tijhof <ttijhof@wikimedia.org>
Fri, 29 Jun 2012 08:40:28 +0000 (10:40 +0200)
commita2ec7c7aba0644753abe56c50ee3e3b499a62df4
treebc24104e8b48d51bb8b8a8907bf2f5244a3e3e01
parent5dd1bbd640727d71be2705319a4f1837a965a968
ResourceLoader.php: Fix E_NOTICE

* Follows-up d3286132461554a949d11e07bfba2aaea025608a

Change-Id: Idc2da99c941047a3f5e345457fd7b71cdf417257
includes/resourceloader/ResourceLoader.php