Merge "Add guard to Resources.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 18 Jan 2013 04:01:58 +0000 (04:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 18 Jan 2013 04:01:58 +0000 (04:01 +0000)
commit65e7c5eed1b7cdeaff60b78e50e26c33e429274e
treed740c40f387921476b532ed9dffc92ae2a83a666
parent529b809c6908f49f5d89daace0d8778dac7cf550
parent0cff90a96119f99fd3d3a14ae09506563335657e
Merge "Add guard to Resources.php"