MediaWiki:Graph.js: Difference between revisions
Jump to navigation
Jump to search
← Older edit
Newer edit →
MediaWiki:Graph.js
(view source)
Revision as of 16:53, 27 September 2019
140 bytes removed
,
27 September 2019
no edit summary
Revision as of 16:52, 27 September 2019
(
view source
)
Cyril
(
talk
|
contribs
)
No edit summary
← Older edit
Revision as of 16:53, 27 September 2019
(
view source
)
Cyril
(
talk
|
contribs
)
No edit summary
Newer edit →
Line 981:
Line 981:
function getProperUrl(){
function getProperUrl(){
// locally use a full url adress found in data.js, on server use the function to get the url
var url = window.location.
toString()
;
//
var url = window.location.
href
;
url =
url
.
split(“#”)[0]
;
var
url=
"https://wiki
.
veriqloud.fr/index.php?title=Quantum_Leader_Election"
;
return url;
return url;
}
}
Cyril
299
edits
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Log in
Namespaces
Message
Discussion
English
Views
Read
View source
View history
More
Search
Navigation
Main page
News
Protocol Library
Certification Library
Nodal Subroutines
Codes Repository
Knowledge Graphs
Submissions
Categories
Supplementary Information
Recent Changes
Contact us
Help
Tools
Special pages
Printable version