diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-20 09:00:55 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-20 09:00:55 +0100 |
commit | a2190ac74dd4d7080b12bab90e552d7aa81209ef (patch) | |
tree | 8b31f38de9882d18df54cf8d9e0de74167a094eb /includes/profiler/ProfileSection.php | |
parent | 15e69f7b20b6596b9148030acce5b59993b95a45 (diff) | |
parent | 257401d8b2cf661adf36c84b0e3fd1cf85e33c22 (diff) |
Merge branch 'mw-1.26'
Diffstat (limited to 'includes/profiler/ProfileSection.php')
-rw-r--r-- | includes/profiler/ProfileSection.php | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/includes/profiler/ProfileSection.php b/includes/profiler/ProfileSection.php index 68ef6680..d787edb7 100644 --- a/includes/profiler/ProfileSection.php +++ b/includes/profiler/ProfileSection.php @@ -35,9 +35,10 @@ class ProfileSection { * the same moment that the function to be profiled terminates. * * This is typically called like: - * <code>$section = new ProfileSection( __METHOD__ );</code> + * @code$section = new ProfileSection( __METHOD__ );@endcode * * @param string $name Name of the function to profile */ - public function __construct( $name ) {} + public function __construct( $name ) { + } } |