Jeroen De Dauw has submitted this change and it was merged.
Change subject: Match method signature in base class
......................................................................
Match method signature in base class
Change-Id: I9e03d1d9d9505847f69d9d2c4e6935042841d908
---
M specials/Push_Body.php
1 file changed, 3 insertions(+), 1 deletion(-)
Approvals:
Jeroen De Dauw: Verified; Looks good to me, approved
diff --git a/specials/Push_Body.php b/specials/Push_Body.php
index d7bd19c..ec3de1f 100644
--- a/specials/Push_Body.php
+++ b/specials/Push_Body.php
@@ -416,9 +416,11 @@
*
* @since 0.1
*
+ * @param boolean $subPage
+ *
* @return Title
*/
- public function getTitle() {
+ public function getTitle( $subPage = false ) {
return version_compare( $GLOBALS['wgVersion'], '1.18', '>' ) ?
parent::getTitle() : $GLOBALS['wgTitle'];
}
--
To view, visit https://gerrit.wikimedia.org/r/92911
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9e03d1d9d9505847f69d9d2c4e6935042841d908
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Push
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: Jeroen De Dauw <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
