[MediaWiki-commits] [Gerrit] Fix Leaflet problem with resource loader - change (mediawiki...Maps)

2013-09-25 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Fix Leaflet problem with resource loader .. Fix Leaflet problem with resource loader This is a partial re-submit of https://gerrit.wikimedia.org/r/#/c/492

[MediaWiki-commits] [Gerrit] Fix Leaflet problem with resource loader - change (mediawiki...Maps)

2013-09-20 Thread Jeroen De Dauw (Code Review)
Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/85350 Change subject: Fix Leaflet problem with resource loader .. Fix Leaflet problem with resource loader This is a partial re-submit of ht

[MediaWiki-commits] [Gerrit] fix Leaflet problem with resource loader - change (mediawiki...Maps)

2013-02-14 Thread Pastakhov (Code Review)
Pastakhov has uploaded a new change for review. https://gerrit.wikimedia.org/r/49202 Change subject: fix Leaflet problem with resource loader .. fix Leaflet problem with resource loader Previously, it only works if $wgResour