Thread:Extension talk:VisualEditor/Where is the PHP portion?