jenkins-bot has submitted this change and it was merged. Change subject: Bug fix: Special pages anchor tag was not a list element ......................................................................
Bug fix: Special pages anchor tag was not a list element needs cherry pick to master branch Change-Id: Ic7d6e39146f93f79203118ebef32449ad78b8de6 --- M WikiAdmin/WikiAdmin.class.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Robert Vogel: Looks good to me, approved jenkins-bot: Verified diff --git a/WikiAdmin/WikiAdmin.class.php b/WikiAdmin/WikiAdmin.class.php index 7f84e16..16c4377 100644 --- a/WikiAdmin/WikiAdmin.class.php +++ b/WikiAdmin/WikiAdmin.class.php @@ -268,7 +268,7 @@ ), wfMessage( 'bs-wikiadmin-mediawiki-specialpages-text' )->escaped() ); - return $sLink; + return '<li>'.$sLink.'</li>'; } } -- To view, visit https://gerrit.wikimedia.org/r/242066 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic7d6e39146f93f79203118ebef32449ad78b8de6 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/BlueSpiceExtensions Gerrit-Branch: REL1_23 Gerrit-Owner: Dvogel hallowelt <daniel.vo...@hallowelt.com> Gerrit-Reviewer: Mglaser <gla...@hallowelt.biz> Gerrit-Reviewer: Pwirth <wi...@hallowelt.biz> Gerrit-Reviewer: Robert Vogel <vo...@hallowelt.biz> Gerrit-Reviewer: Tweichart <weich...@hallowelt.biz> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits