From 712cdc59afa8674326996a0e247d31c1cab77b62 Mon Sep 17 00:00:00 2001
From: umherirrender <umherirrender_de.wp@web.de>
Date: Sat, 1 Feb 2014 11:44:37 +0100
Subject: [PATCH] Remove outdated todo from RecentChange.php

Documentation was added with r85781

Change-Id: I769e2a340dee3e41a0b7b05fe856f54bd55a32e6
---
 includes/changes/RecentChange.php | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/includes/changes/RecentChange.php b/includes/changes/RecentChange.php
index e71a2d5d2a..01ad72481c 100644
--- a/includes/changes/RecentChange.php
+++ b/includes/changes/RecentChange.php
@@ -60,8 +60,6 @@
  * temporary:       not stored in the database
  *      notificationtimestamp
  *      numberofWatchingusers
- *
- * @todo document functions and variables
  */
 class RecentChange {
 	// Constants for the rc_source field.  Extensions may also have
@@ -546,7 +544,6 @@ class RecentChange {
 	/**
 	 * Makes an entry in the database corresponding to page creation
 	 * Note: the title object must be loaded with the new id using resetArticleID()
-	 * @todo Document parameters and return
 	 *
 	 * @param $timestamp
 	 * @param $title Title
-- 
2.20.1