--- edit-tags.php 2011-07-18 23:05:49.603376299 +0100 +++ /var/www/webserver/stewy/wp-admin/edit-tags.php 2011-07-17 11:10:48.661514994 +0100 @@ -345,7 +345,7 @@