Model originally uploaded to Thingiverse at https://www.thingiverse.com/thing:2987327.
Designed to fit these parts (via AliExpress, affiliate links): New Wireless module CH340 NodeMcu V3 Lua WIFI Internet of Things development board based ESP8266 $2.38 10PCS HC-SR501 Adjust Infrared IR Pyroelectric Infrared PIR module Motion Sensor Detector Module $9.38
Amazon: 2pcs NodeMcu Lua V3 Development Board ESP-12E CH340G $8.99
While everything fit perfectly, I was not able to get it to work properly. I think there was too much radio interference between the ESP8266 and the PIR sensor.
1/28/19: added STEP files and user mkolar got it to work!
Here is a forum post discussing ways to reduce interference: https://www.letscontrolit.com/forum/viewtopic.php?t=671