From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Tue, 10 Dec 2013 20:50:37 +0000 (+0000)
Subject: Merge "Deleting a page and then immediately create-protecting it caused a PHP Fatal... 
X-Git-Tag: 1.31.0-rc.0~17686
X-Git-Url: http://git.cyclocoop.org/ecrire?a=commitdiff_plain;h=d4eefca4dd645bbef2b435ef1228a141f6a48e67;p=lhc%2Fweb%2Fwiklou.git

Merge "Deleting a page and then immediately create-protecting it caused a PHP Fatal error"
---

d4eefca4dd645bbef2b435ef1228a141f6a48e67