Index: chrome/common/extensions/docs/server2/intro_data_source.py |
diff --git a/chrome/common/extensions/docs/server2/intro_data_source.py b/chrome/common/extensions/docs/server2/intro_data_source.py |
index 1f42eec755152b71a995d32bf7f572abda963f82..3f8d5dee73160eb123e49ea8e6149ec5004b1ac7 100644 |
--- a/chrome/common/extensions/docs/server2/intro_data_source.py |
+++ b/chrome/common/extensions/docs/server2/intro_data_source.py |
@@ -18,6 +18,7 @@ class IntroDataSource(object): |
h1s = re.findall('<h1.*>(.+)</h1>', intro) |
if len(h1s) > 0: |
page_title = h1s[0] |
+ intro = re.sub('<h1.*>(.+)</h1>', '', intro, 1) |
not at google - send to devlin
2012/07/23 23:37:43
doesn't look like it's been taken out though..
cduvall
2012/07/23 23:59:54
Oopsies, sorry about that.
|
else: |
page_title = '' |
headings = re.findall('<h([23]) id\="(.+)">(.+)</h[23]>', intro) |