diff options
author | umherirrender <umherirrender_de.wp@web.de> | 2014-04-30 20:53:31 +0200 |
---|---|---|
committer | Umherirrender <umherirrender_de.wp@web.de> | 2014-05-01 18:46:34 +0000 |
commit | e10ee4304e6c08c98d86fed92f47f4bab5fafdb2 (patch) | |
tree | 8aaead7950fbfb3dfa82c104de3b94985cfefa17 /includes/FormOptions.php | |
parent | 37c029729637ee165bada6bba063424d998a335a (diff) | |
download | mediawikicore-e10ee4304e6c08c98d86fed92f47f4bab5fafdb2.tar.gz mediawikicore-e10ee4304e6c08c98d86fed92f47f4bab5fafdb2.zip |
Adjust indent of some comment blocks
Change-Id: Ic25419490fa6a35c11ccc2b7810527e6661e027c
Diffstat (limited to 'includes/FormOptions.php')
-rw-r--r-- | includes/FormOptions.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/FormOptions.php b/includes/FormOptions.php index a8da67e5ef15..079267a24682 100644 --- a/includes/FormOptions.php +++ b/includes/FormOptions.php @@ -44,7 +44,7 @@ class FormOptions implements ArrayAccess { /** Integer type, maps guessType() to WebRequest::getInt() */ const INT = 1; /** Float type, maps guessType() to WebRequest::getFloat() - * @since 1.23 */ + * @since 1.23 */ const FLOAT = 4; /** Boolean type, maps guessType() to WebRequest::getBool() */ const BOOL = 2; |