| 1 | <?php |
||
| 10 | class GeoJsonMapPageUi { |
||
| 11 | |||
| 12 | private $json; |
||
| 13 | |||
| 14 | public static function forExistingPage( string $mapJson ): self { |
||
| 17 | |||
| 18 | private function __construct( ?string $json ) { |
||
| 21 | |||
| 22 | public function addToOutput( OutputFacade $output ) { |
||
| 33 | |||
| 34 | private function getJavascript(): string { |
||
| 41 | |||
| 42 | private function getJsonJs(): string { |
||
| 47 | |||
| 48 | private function getHtml(): string { |
||
| 67 | |||
| 68 | private function wrapHtmlInThumbDivs( string $html ): string { |
||
| 83 | |||
| 84 | } |
||
| 85 |