Merge "Replace a bunch of extension_loaded() checks with checkPHPExtension()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 23 Jan 2014 23:43:42 +0000 (23:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 23 Jan 2014 23:43:42 +0000 (23:43 +0000)
commita76a6d93dc514cbf15c81f5b89ad66a86b11d2fc
treef21c635c0605a4576df46f7f137ba69ac6a603b2
parentbb70f87a13f7b7b0536fa67d853dc15af756eda7
parentd197824c545c36ed07296444d9e4aea406167215
Merge "Replace a bunch of extension_loaded() checks with checkPHPExtension()"