Merge "Rename wfIsHipHop() to wfIsHHVM()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 4 Nov 2013 18:32:39 +0000 (18:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 4 Nov 2013 18:32:39 +0000 (18:32 +0000)
commit853c6852ecb28f1a4bbcfa9b7f14a4759050b05b
tree09a13bcee8873135adb17786a937eae283d2d412
parentbdea110857b19c849dcabfd672ac0f6558f5151d
parent22dca6484f802d5e431fc3046cd7cec7f59432eb
Merge "Rename wfIsHipHop() to wfIsHHVM()"
includes/GlobalFunctions.php