restore array_column

library/fonctions/array.php

@@ -19,6 +19,15 @@
  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301  USA
  */
 
+
+// compatibility with PHP < 5.5
+if(!function_exists("array_column")) {
+  function array_column($array, $column_name)   {
+    return array_map(function($element) use($column_name){return $element[$column_name];}, $array);
+  }
+}
+
+
 function array_first(array $array) {
   $values = array_values($array);
   return $values[0];