--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Microbit/music.py	Sat Aug 24 17:04:25 2019 +0200
@@ -0,0 +1,51 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2019 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module containing stubs for API generation of the 'music' module.
+"""
+
+import microbit
+
+def set_tempo(ticks=4, bpm=120):
+    pass
+
+def get_tempo():
+    pass
+
+def play(music, pin=microbit.pin0, wait=True, loop=False):
+    pass
+
+def pitch(frequency, duration=-1, pin=microbit.pin0, wait=True):
+    pass
+
+def stop(pin=microbit.pin0):
+    pass
+
+def reset():
+    pass
+
+
+DADADADUM = []
+ENTERTAINER = []
+PRELUDE = []
+ODE = []
+NYAN = []
+RINGTONE = []
+FUNK = []
+BLUES = []
+BIRTHDAY = []
+WEDDING = []
+FUNERAL = []
+PUNCHLINE = []
+PYTHON = []
+BADDY = []
+CHASE = []
+BA_DING = []
+WAWAWAWAA = []
+JUMP_UP = []
+JUMP_DOWN = []
+POWER_UP = []
+POWER_DOWN = []