Ejegg has submitted this change and it was merged.
Change subject: Fix @returns >> @return phpdoc
......................................................................
Fix @returns >> @return phpdoc
Change-Id: Idd0c20e50ddc43029e1717d2f9697d3c2db8afca
---
M includes/BannerMessage.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Ejegg: Looks good to me, approved
diff --git a/includes/BannerMessage.php b/includes/BannerMessage.php
index ad1ebbc..ba79533 100644
--- a/includes/BannerMessage.php
+++ b/includes/BannerMessage.php
@@ -46,7 +46,7 @@
/**
* Obtain the raw contents of the message; stripping out the stupid
<message-name> if it's blank
*
- * @returns null|string Will be null if the message does not exist,
otherwise will be
+ * @return null|string Will be null if the message does not exist,
otherwise will be
* the contents of the message.
*/
function getContents( $lang ) {
--
To view, visit https://gerrit.wikimedia.org/r/155320
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Idd0c20e50ddc43029e1717d2f9697d3c2db8afca
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CentralNotice
Gerrit-Branch: wmf_deploy
Gerrit-Owner: Awight <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Ejegg <[email protected]>
Gerrit-Reviewer: Mwalker <[email protected]>
Gerrit-Reviewer: Ssmith <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
