Home
last modified time | relevance | path

Searched hist:"259 f68e8ec1d9a938f5110ac378af63a6c859318" (Results 1 – 3 of 3) sorted by relevance

/plugin/siteexport/
H A Dstyle.css259f68e8ec1d9a938f5110ac378af63a6c859318 Wed Aug 16 04:46:14 UTC 2017 Gerry Weißbach <gerry.w@gammaproduction.de> Add Button to copy the MapID

The MapID is used for the JavaHelp Export. If defined in the metadata of the page, there will be a sidebar button that will copy the mapID int o the clipboard .

H A Dscript.js259f68e8ec1d9a938f5110ac378af63a6c859318 Wed Aug 16 04:46:14 UTC 2017 Gerry Weißbach <gerry.w@gammaproduction.de> Add Button to copy the MapID

The MapID is used for the JavaHelp Export. If defined in the metadata of the page, there will be a sidebar button that will copy the mapID int o the clipboard .

/plugin/siteexport/action/
H A Dstartup.php259f68e8ec1d9a938f5110ac378af63a6c859318 Wed Aug 16 04:46:14 UTC 2017 Gerry Weißbach <gerry.w@gammaproduction.de> Add Button to copy the MapID

The MapID is used for the JavaHelp Export. If defined in the metadata of the page, there will be a sidebar button that will copy the mapID int o the clipboard .