Jeroen De Dauw has submitted this change and it was merged. Change subject: Fixed check for title and text options ......................................................................
Fixed check for title and text options Fixes error like Notice: Undefined property: Maps\Line::$text in /srv/semantic-mediawiki_org/www/core/extensions/Maps/includes/Maps_BaseStrokableElement.php on line 45 Notice: Undefined property: Maps\Line::$title in /srv/semantic-mediawiki_org/www/core/extensions/Maps/includes/Maps_BaseStrokableElement.php on line 49 Change-Id: If36c2fbcf6c90f46dac019c8839bee54636ddd4e --- M includes/Maps_BaseStrokableElement.php M includes/elements/BaseElement.php 2 files changed, 2 insertions(+), 28 deletions(-) Approvals: Jeroen De Dauw: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/45324 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If36c2fbcf6c90f46dac019c8839bee54636ddd4e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Maps Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: Jeroen De Dauw <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
