Jeroen De Dauw has submitted this change and it was merged. Change subject: Remoove some clutter ......................................................................
Remoove some clutter Change-Id: Ic02b60ceb7833be749cf62eb54d1f152eabe2dc7 --- M WikibaseQuery.php 1 file changed, 0 insertions(+), 5 deletions(-) Approvals: Addshore: Looks good to me, approved Jeroen De Dauw: Verified diff --git a/WikibaseQuery.php b/WikibaseQuery.php index 63f02d2..4e9ddf6 100644 --- a/WikibaseQuery.php +++ b/WikibaseQuery.php @@ -3,11 +3,6 @@ /** * MediaWiki setup for the Wikibase Query extension. * - * @since 0.1 - * - * @file - * @ingroup WikibaseQuery - * * @licence GNU GPL v2+ * @author Jeroen De Dauw < [email protected] > */ -- To view, visit https://gerrit.wikimedia.org/r/88030 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic02b60ceb7833be749cf62eb54d1f152eabe2dc7 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WikibaseQuery Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: Addshore <[email protected]> Gerrit-Reviewer: Jeroen De Dauw <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
