diff --git a/server/plugins-available/webserver_plugin.inc.php b/server/plugins-available/webserver_plugin.inc.php
index 7d307233d8ed6ef8bbd65323eb1f5d2276158760..bb884a6e2b18df73165965cab96a89fbde8cbed7 100644
--- a/server/plugins-available/webserver_plugin.inc.php
+++ b/server/plugins-available/webserver_plugin.inc.php
@@ -28,6 +28,13 @@
   EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
+/* compatibility for php < 5.5 (centos 7), remove when no longer needed */
+if(!function_exists("array_column")){
+	function array_column($array,$column_name){
+		return array_map(function($element) use($column_name){return $element[$column_name];}, $array);
+	}
+}
+
 class webserver_plugin {
 
 	var $plugin_name = 'webserver_plugin';