Jeroen De Dauw has uploaded a new change for review. https://gerrit.wikimedia.org/r/87550
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(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/WikibaseDatabase refs/changes/50/87550/1 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: newchange Gerrit-Change-Id: I964a0296823226b520cdd1abaef0a507b8d8cfb0 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WikibaseDatabase Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
