diff options
Diffstat (limited to 'inc/poche/Tools.class.php')
-rwxr-xr-x | inc/poche/Tools.class.php | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/inc/poche/Tools.class.php b/inc/poche/Tools.class.php index 1c554590..f34e8beb 100755 --- a/inc/poche/Tools.class.php +++ b/inc/poche/Tools.class.php | |||
@@ -420,6 +420,14 @@ final class Tools | |||
420 | return str_replace('+', '', $token); | 420 | return str_replace('+', '', $token); |
421 | } | 421 | } |
422 | 422 | ||
423 | /** | ||
424 | * | ||
425 | * Returns the doctype for an HTML document (used for Mozilla Bookmarks) | ||
426 | * @param simple_html_dom $doc | ||
427 | * @return doctype $el | ||
428 | * | ||
429 | */ | ||
430 | |||
423 | function get_doctype($doc) | 431 | function get_doctype($doc) |
424 | { | 432 | { |
425 | $els = $doc->find('unknown'); | 433 | $els = $doc->find('unknown'); |