Alex Monk has submitted this change and it was merged.

Change subject: SpecialRecentChanges: Remove '@todo Uses radio buttons (HASHAR)'
......................................................................


SpecialRecentChanges: Remove '@todo Uses radio buttons (HASHAR)'

Unless Hashar can explain what he meant by that back in 2011 (r83110),
because I have no idea.

Change-Id: Ibc12fa08e6862597291bc59a7bf0a5d83f9ad5a1
---
M includes/specials/SpecialRecentchanges.php
1 file changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Alex Monk: Looks good to me, approved
  Hashar: Looks good to me, but someone else must approve
  jenkins-bot: Verified



diff --git a/includes/specials/SpecialRecentchanges.php 
b/includes/specials/SpecialRecentchanges.php
index 51e7450..23203ea 100644
--- a/includes/specials/SpecialRecentchanges.php
+++ b/includes/specials/SpecialRecentchanges.php
@@ -685,7 +685,6 @@
        /**
         * Creates the choose namespace selection
         *
-        * @todo Uses radio buttons (HASHAR)
         * @param FormOptions $opts
         * @return string
         */

-- 
To view, visit https://gerrit.wikimedia.org/r/94452
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ibc12fa08e6862597291bc59a7bf0a5d83f9ad5a1
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to