wikimedia/mediawiki-extensions-VisualEditor — pull request #3 by sjvkb (2014-06-11 14:42:47+00:00)
Title: File name should be changed

On the discussion at village pump of Hindi wikipedia (https://hi.wikipedia.org/w/index.php?oldid=2212832) this discussion has been committed with heading "उचित नामकरण (सुझाव)" (Uchit namakaraN, sujhaav => Proper naming (Suggestion). On Hindi wikipedia this name alreday has been adopted.

-- Sanjeev Kumar (Admin on Hindi wikipedia with user name संजीव कुमार