| Index: webkit/glue/webkit_glue.cc
|
| diff --git a/webkit/glue/webkit_glue.cc b/webkit/glue/webkit_glue.cc
|
| index 2477e230942784d465b3a93494d3aeb78be216e8..57ecfc428fc7fe7b791d21e366fd0110d0305510 100644
|
| --- a/webkit/glue/webkit_glue.cc
|
| +++ b/webkit/glue/webkit_glue.cc
|
| @@ -137,17 +137,6 @@ string16 DumpRenderer(WebFrame* web_frame) {
|
| return web_frame->renderTreeAsText();
|
| }
|
|
|
| -bool CounterValueForElementById(WebFrame* web_frame, const std::string& id,
|
| - string16* counter_value) {
|
| - WebString result =
|
| - web_frame->counterValueForElementById(WebString::fromUTF8(id));
|
| - if (result.isNull())
|
| - return false;
|
| -
|
| - *counter_value = result;
|
| - return true;
|
| -}
|
| -
|
| int PageNumberForElementById(WebFrame* web_frame,
|
| const std::string& id,
|
| float page_width_in_pixels,
|
|
|