add an additional live mining field

livemining.html

@@ -79,6 +79,7 @@ The "audio_kanji" and "audio_reading" fields are for people with the JDIC audio
 
 jmdict_id - JMDict numeric ID
 url - URL of the page the card was mined from (if it was the reader page, it will look like jibberish)
+page_title - Title of the page the card was mined from
 time_unix  - Time when card was mined (unix timestamp, milliseconds, can be converted to a localized date within Anki by using javascript in the card model/template)
 time_local - Time when card was mined (localized date, depends on browser and OS)
 

livemining.js

@@ -36,6 +36,7 @@ function add_options(input, preselect="")
     
     "jmdict_id",
     "url",
+    "page_title",
     "time_unix",
     "time_local",
     

texthook.js

@@ -2086,6 +2086,7 @@ function mine(highlight)
             
             jmdict_id: seq,
             url: get_doc().URL,
+            page_title: get_doc().title,
             time_unix: now.getTime(),
             time_local: now.toLocaleString(),