Jeroen De Dauw has submitted this change and it was merged. Change subject: Some misc stuff ......................................................................
Some misc stuff Change-Id: I49c289b5076b7484e5b426ec8cc66c7757e2c41e --- M includes/SMW_DISerializer.php M includes/SMW_PageSchemas.php M includes/SMW_Setup.php M includes/queryprinters/SMW_QueryPrinter.php M specials/AskSpecial/SMW_SpecialAsk.php 5 files changed, 5 insertions(+), 6 deletions(-) Approvals: Jeroen De Dauw: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/14404 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I49c289b5076b7484e5b426ec8cc66c7757e2c41e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/SemanticMediaWiki Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com> Gerrit-Reviewer: Jeroen De Dauw <jeroended...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits