| 1 | <?php |
||
| 10 | class GeoJsonMapPageUi { |
||
| 11 | |||
| 12 | private $json; |
||
| 13 | |||
| 14 | 4 | public static function forExistingPage( string $mapJson ): self { |
|
| 17 | |||
| 18 | 4 | private function __construct( ?string $json ) { |
|
| 21 | |||
| 22 | 4 | public function addToOutput( OutputFacade $output ) { |
|
| 26 | |||
| 27 | 4 | private function getJavascript(): string { |
|
| 34 | |||
| 35 | 4 | private function getJsonJs(): string { |
|
| 40 | |||
| 41 | 4 | private function getHtml(): string { |
|
| 60 | |||
| 61 | 4 | private function wrapHtmlInThumbDivs( string $html ): string { |
|
| 76 | |||
| 77 | } |
||
| 78 |