aboutsummaryrefslogtreecommitdiffhomepage
path: root/inc/poche/Tools.class.php
diff options
context:
space:
mode:
Diffstat (limited to 'inc/poche/Tools.class.php')
-rwxr-xr-xinc/poche/Tools.class.php8
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');