diff options
| author | umherirrender <umherirrender_de.wp@web.de> | 2015-10-14 09:34:55 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2015-10-14 09:09:03 +0000 |
| commit | 749789038911a4ada7382803a40fa9600bc0ebaf (patch) | |
| tree | 52d51213321d646f4f6d990aefe4442c6eabf431 | |
| parent | c9f3a16e39479bfe6ae6ab81492cc805ae4b1654 (diff) | |
| download | mediawikicore-749789038911a4ada7382803a40fa9600bc0ebaf.tar.gz mediawikicore-749789038911a4ada7382803a40fa9600bc0ebaf.zip | |
Change some comment style in userOptions.inc
Change-Id: Ida429683ee5b6194c96d782cf5fb4e0527c89103
| -rw-r--r-- | maintenance/userOptions.inc | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/maintenance/userOptions.inc b/maintenance/userOptions.inc index 99ba3b8329ca..f4ffbd04af1c 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 |