From 04d6d5ca99ebfd1cebb8ce06618fb3811fc1a8aa Mon Sep 17 00:00:00 2001 From: Charles Date: Thu, 9 Jan 2020 10:55:03 +0100 Subject: phpmyadmin working --- .../mariadb-mysql-kbs/src/KBDocumentation.php | 75 ++++++++++++++++++++++ 1 file changed, 75 insertions(+) create mode 100644 srcs/phpmyadmin/vendor/williamdes/mariadb-mysql-kbs/src/KBDocumentation.php (limited to 'srcs/phpmyadmin/vendor/williamdes/mariadb-mysql-kbs/src/KBDocumentation.php') diff --git a/srcs/phpmyadmin/vendor/williamdes/mariadb-mysql-kbs/src/KBDocumentation.php b/srcs/phpmyadmin/vendor/williamdes/mariadb-mysql-kbs/src/KBDocumentation.php new file mode 100644 index 0000000..958f1ad --- /dev/null +++ b/srcs/phpmyadmin/vendor/williamdes/mariadb-mysql-kbs/src/KBDocumentation.php @@ -0,0 +1,75 @@ +url = $url; + if ($anchor !== null) { + $this->anchor = $anchor; + } + } + + /** + * Get the url + * + * @return string + */ + public function getUrl(): string + { + return $this->url; + } + + /** + * Get the anchor + * + * @return string|null + */ + public function getAnchor(): ?string + { + return $this->anchor; + } + + /** + * Used for json_encode function + * This can seem useless, do not remove it. + * + * @return array + */ + public function jsonSerialize(): array + { + $outObj = array(); + $outObj['url'] = $this->url; + if ($this->anchor !== null) { + $outObj['anchor'] = $this->anchor; + } + return $outObj; + } + +} -- cgit