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