Update to MediaWiki 1.26.0

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 ) {
+	}
 }