diff -r ece5bbed3cd2 -r 8d3dbe577d3a web/__init__.py
--- a/web/__init__.py	Wed Aug 12 18:16:49 2009 +0200
+++ b/web/__init__.py	Wed Aug 12 18:40:52 2009 +0200
@@ -65,7 +65,7 @@
         return json_dumps(function(*args, **kwargs))
     return newfunc
 
-@deprecated('use req.build_ajax_replace_url() instead')
+@deprecated('[3.4] use req.build_ajax_replace_url() instead')
 def ajax_replace_url(nodeid, rql, vid=None, swap=False, **extraparams):
     """builds a replacePageChunk-like url
     >>> ajax_replace_url('foo', 'Person P')