From 749789038911a4ada7382803a40fa9600bc0ebaf Mon Sep 17 00:00:00 2001
From: umherirrender <umherirrender_de.wp@web.de>
Date: Wed, 14 Oct 2015 09:34:55 +0200
Subject: [PATCH] Change some comment style in userOptions.inc

Change-Id: Ida429683ee5b6194c96d782cf5fb4e0527c89103
---
 maintenance/userOptions.inc | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/maintenance/userOptions.inc b/maintenance/userOptions.inc
index 99ba3b8329..f4ffbd04af 100644
--- a/maintenance/userOptions.inc
+++ b/maintenance/userOptions.inc
@@ -105,7 +105,9 @@ class UserOptions {
 		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 @@ class UserOptions {
 		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 @@ class UserOptions {
 		}
 	}
 
-	/** List options usage */
+	/**
+	 * List options usage
+	 */
 	private function USAGER() {
 		$ret = array();
 		$defaultOptions = User::getDefaultOptions();
@@ -186,7 +188,9 @@ class UserOptions {
 		}
 	}
 
-	/** Change our users options */
+	/**
+	 * Change our users options
+	 */
 	private function CHANGER() {
 		$this->warn();
 
@@ -242,10 +246,6 @@ class UserOptions {
 		return $ret;
 	}
 
-	#
-	# Helper methods
-	#
-
 	public static function showUsageAndExit() {
 		print <<<USAGE
 
-- 
2.20.1