Update link in platform.txt (#5900)

Juppit · d-a-v · commit 70c3547eb3b5 · 2019-03-21T13:54:55.000+01:00
The link to the Arduino-IDE-1.5-3rd-party-Hardware-specification has changed in the meantime, from https://github.com/arduino/Arduino/wiki/Arduino-IDE---1.5-3rd-party-Hardware-specification to https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5-3rd-party-Hardware-specification
diff --git a/platform.txt b/platform.txt
@@ -3,7 +3,7 @@
 # ------------------------------
 
 # For more info:
-# https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification
+# https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5-3rd-party-Hardware-specification
 
 name=ESP8266 Boards (2.6.0-dev)
 version=2.6.0-dev
