Fix cached desynchro

2025-10-15 05:53:13 +00:00 · 2012-01-31 15:57:50 +01:00
parent 190b5992ff
commit f060323941
6 changed files with 141 additions and 129 deletions
--- a/lib/classes/module/prod/route/records/edit.class.php
+++ b/lib/classes/module/prod/route/records/edit.class.php
@@ -46,7 +46,7 @@ class module_prod_route_records_edit extends module_prod_route_records_abstract
   *
   * @var Array
   */
-  protected $javascript_elements;
+  protected $javascript_elements = array();

  /**
   *