jenkins-bot 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:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/BannerMessage.php b/includes/BannerMessage.php
index 8e54e23..914cf3f 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/154489
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: master
Gerrit-Owner: Addshore <[email protected]>
Gerrit-Reviewer: Awight <[email protected]>
Gerrit-Reviewer: Legoktm <[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
