1 | <?php |
||
9 | class GeoJsonMapPageUi { |
||
10 | |||
11 | private $json; |
||
12 | |||
13 | 1 | public static function forExistingPage( string $mapJson ): self { |
|
16 | |||
17 | 1 | private function __construct( ?string $json ) { |
|
20 | |||
21 | 1 | public function addToOutput( OutputFacade $output ) { |
|
32 | |||
33 | 1 | private function getJavascript(): string { |
|
40 | |||
41 | 1 | private function getJsonJs(): string { |
|
46 | |||
47 | 1 | private function getHtml(): string { |
|
66 | |||
67 | 1 | private function wrapHtmlInThumbDivs( string $html ): string { |
|
82 | |||
83 | } |
||
84 |