Addshore has submitted this change and it was merged. Change subject: Update doc headers ......................................................................
Update doc headers Change-Id: I964a0296823226b520cdd1abaef0a507b8d8cfb0 --- M WikibaseDatabase.i18n.php M WikibaseDatabase.mw.php M WikibaseDatabase.php 3 files changed, 4 insertions(+), 19 deletions(-) Approvals: Addshore: Looks good to me, approved jenkins-bot: Verified diff --git a/WikibaseDatabase.i18n.php b/WikibaseDatabase.i18n.php index 6569d35..3705f58 100644 --- a/WikibaseDatabase.i18n.php +++ b/WikibaseDatabase.i18n.php @@ -1,12 +1,7 @@ <?php /** - * Internationalization file for the Wikibase Database component. - * - * @since 0.1 - * - * @file - * @ingroup WikibaseDatabase + * Internationalization file of the Wikibase Database component. * * @licence GNU GPL v2+ * @author Jeroen De Dauw < [email protected] > diff --git a/WikibaseDatabase.mw.php b/WikibaseDatabase.mw.php index bf75190..8bac413 100644 --- a/WikibaseDatabase.mw.php +++ b/WikibaseDatabase.mw.php @@ -1,13 +1,8 @@ <?php /** - * MediaWiki setup for the Database component of Wikibase. - * The component should be included via the main entry point, Database.php. - * - * @since 0.1 - * - * @file - * @ingroup WikibaseDatabase + * MediaWiki setup for the Wikibase Database component. + * The component should be included via its main entry point, Database.php. * * @licence GNU GPL v2+ * @author Jeroen De Dauw < [email protected] > diff --git a/WikibaseDatabase.php b/WikibaseDatabase.php index 0b041e1..1088357 100644 --- a/WikibaseDatabase.php +++ b/WikibaseDatabase.php @@ -1,12 +1,7 @@ <?php /** - * Entry point for the Database component of Wikibase. - * - * @since 0.1 - * - * @file - * @ingroup WikibaseDatabase + * Entry point of the Wikibase Database component. * * @licence GNU GPL v2+ * @author Jeroen De Dauw < [email protected] > -- To view, visit https://gerrit.wikimedia.org/r/87550 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I964a0296823226b520cdd1abaef0a507b8d8cfb0 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WikibaseDatabase Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: Addshore <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
