jenkins-bot has submitted this change and it was merged. Change subject: replace spaces to tabs ......................................................................
replace spaces to tabs I think it would be better Change-Id: I886ba5dae9a017bbd88455b573c4f08ebab8eb51 --- M MultiMaps.body.php M MultiMaps.i18n.magic.php M MultiMaps.i18n.php M MultiMaps.php M Settings.php M includes/BaseService.php M includes/Bounds.php M includes/Services.php M includes/mapelements/BaseMapElement.php M includes/mapelements/Line.php M includes/mapelements/Marker.php M includes/mapelements/Polygon.php M includes/mapelements/Rectangle.php M services/Leaflet/Leaflet.php M services/Leaflet/ext.leaflet.js M tests/phpunit/includes/GeoCoordinateTest.php 16 files changed, 940 insertions(+), 941 deletions(-) Approvals: Pastakhov: Verified; Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/47572 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I886ba5dae9a017bbd88455b573c4f08ebab8eb51 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/MultiMaps Gerrit-Branch: master Gerrit-Owner: Pastakhov <[email protected]> Gerrit-Reviewer: Pastakhov <[email protected]> Gerrit-Reviewer: Siebrand <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
