jenkins-bot has submitted this change and it was merged.
Change subject: Change some comment style in userOptions.inc
......................................................................
Change some comment style in userOptions.inc
Change-Id: Ida429683ee5b6194c96d782cf5fb4e0527c89103
---
M maintenance/userOptions.inc
1 file changed, 12 insertions(+), 12 deletions(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/maintenance/userOptions.inc b/maintenance/userOptions.inc
index 99ba3b8..f4ffbd0 100644
--- a/maintenance/userOptions.inc
+++ b/maintenance/userOptions.inc
@@ -105,7 +105,9 @@
return true;
}
- // Dumb stuff to run a mode.
+ /**
+ * Dumb stuff to run a mode.
+ */
public function run() {
if ( !$this->mReady ) {
return false;
@@ -116,11 +118,9 @@
return true;
}
- #
- # Modes.
- #
-
- /** List default options and their value */
+ /**
+ * List default options and their value
+ */
private function LISTER() {
$def = User::getDefaultOptions();
ksort( $def );
@@ -133,7 +133,9 @@
}
}
- /** List options usage */
+ /**
+ * List options usage
+ */
private function USAGER() {
$ret = array();
$defaultOptions = User::getDefaultOptions();
@@ -186,7 +188,9 @@
}
}
- /** Change our users options */
+ /**
+ * Change our users options
+ */
private function CHANGER() {
$this->warn();
@@ -241,10 +245,6 @@
return $ret;
}
-
- #
- # Helper methods
- #
public static function showUsageAndExit() {
print <<<USAGE
--
To view, visit https://gerrit.wikimedia.org/r/246160
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ida429683ee5b6194c96d782cf5fb4e0527c89103
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Parent5446 <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
