[Mapbender-dev] Re: [Mapbender] #134: the same javascript may be loaded twice in map.php

[Mapbender]

#134: the same javascript may be loaded twice in map.php
------------------------+---------------------------------------------------
  Reporter:  christoph  |       Owner:  mapbender_dev at lists.osgeo.org
      Type:  defect     |      Status:  closed                       
  Priority:  major      |   Milestone:  2.5 release                  
 Component:  core       |     Version:  2.4.3                        
Resolution:  fixed      |    Keywords:                               
------------------------+---------------------------------------------------
Changes (by christoph):

  * status:  new => closed
  * resolution:  => fixed

Comment:

 is fixed in trunk. No patch.

-- 
Ticket URL: <http://trac.osgeo.org/mapbender/ticket/134#comment:1>
Mapbender <http://www.mapbender.org/>
Mapbender