[Python-checkins] peps: PEP 418: Add two alternative names for time.perf_counter()

[victor.stinner]

http://hg.python.org/peps/rev/72c880abb93f
changeset:   4255:72c880abb93f
user:        Victor Stinner <victor.stinner at gmail.com>
date:        Mon Apr 16 13:53:24 2012 +0200
summary:
  PEP 418: Add two alternative names for time.perf_counter()

files:
  pep-0418.txt |  4 +++-
  1 files changed, 3 insertions(+), 1 deletions(-)


diff --git a/pep-0418.txt b/pep-0418.txt
--- a/pep-0418.txt
+++ b/pep-0418.txt
@@ -416,8 +416,10 @@
 Other names for time.perf_counter()
 -----------------------------------
 
+* time.high_precision()
+* time.highres()
 * time.hires()
-* time.highres()
+* time.performance_counter()
 * time.timer()
 
 Only expose operating system clocks

-- 
Repository URL: http://hg.python.org/peps