diff --git a/webapp/.php-version b/webapp/.php-version
new file mode 100644
index 0000000000000000000000000000000000000000..5904f7adec1a0d8e5e10d8e72fcff747645ef796
--- /dev/null
+++ b/webapp/.php-version
@@ -0,0 +1 @@
+7.2